Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469300304.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPt-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.5K May 14 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 08:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 08:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 53K May 12 20:42 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 1590439233095

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 010A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 193 places, 143 transitions, 606 arcs.
AT ITER 0 NEW BEST:: SOT 22038 SOS 18581 HAS SOPS 18581 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16342.581
AT ITER 1 NEW BEST:: SOT 21945 SOS 18527 HAS SOPS 18527 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16291.527
AT ITER 2 NEW BEST:: SOT 21945 SOS 18527 HAS SOPS 18527 HAS SOUS 16264 HAS SOUPS 16264 WITH SCORE 16282.527
AT ITER 3 NEW BEST:: SOT 21943 SOS 18534 HAS SOPS 18534 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16234.534
AT ITER 4 NEW BEST:: SOT 21776 SOS 18367 HAS SOPS 18367 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16046.367
AT ITER 5 NEW BEST:: SOT 21726 SOS 18315 HAS SOPS 18315 HAS SOUS 15976 HAS SOUPS 15976 WITH SCORE 15994.315
AT ITER 8 NEW BEST:: SOT 21726 SOS 18188 HAS SOPS 18188 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15928.188
AT ITER 9 NEW BEST:: SOT 21644 SOS 18028 HAS SOPS 18028 HAS SOUS 15751 HAS SOUPS 15751 WITH SCORE 15769.028
AT ITER 10 NEW BEST:: SOT 21501 SOS 17885 HAS SOPS 17885 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15672.885
AT ITER 12 NEW BEST:: SOT 21368 SOS 17752 HAS SOPS 17752 HAS SOUS 15465 HAS SOUPS 15465 WITH SCORE 15482.752
AT ITER 13 NEW BEST:: SOT 21391 SOS 17775 HAS SOPS 17775 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15466.775
AT ITER 17 NEW BEST:: SOT 21391 SOS 17801 HAS SOPS 17801 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15465.801
AT ITER 19 NEW BEST:: SOT 21324 SOS 17732 HAS SOPS 17732 HAS SOUS 15446 HAS SOUPS 15446 WITH SCORE 15463.732
AT ITER 21 NEW BEST:: SOT 21324 SOS 17732 HAS SOPS 17732 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15461.732
AT ITER 23 NEW BEST:: SOT 21214 SOS 17444 HAS SOPS 17444 HAS SOUS 15168 HAS SOUPS 15168 WITH SCORE 15185.444
AT ITER 27 NEW BEST:: SOT 21187 SOS 17288 HAS SOPS 17288 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14965.288
AT ITER 29 NEW BEST:: SOT 21185 SOS 17174 HAS SOPS 17174 HAS SOUS 14892 HAS SOUPS 14892 WITH SCORE 14909.174
AT ITER 30 NEW BEST:: SOT 21185 SOS 17173 HAS SOPS 17173 HAS SOUS 14891 HAS SOUPS 14891 WITH SCORE 14908.173
AT ITER 31 NEW BEST:: SOT 21158 SOS 17119 HAS SOPS 17119 HAS SOUS 14837 HAS SOUPS 14837 WITH SCORE 14854.119
AT ITER 32 NEW BEST:: SOT 21091 SOS 17014 HAS SOPS 17014 HAS SOUS 14732 HAS SOUPS 14732 WITH SCORE 14749.014
AT ITER 33 NEW BEST:: SOT 21091 SOS 17014 HAS SOPS 17014 HAS SOUS 14730 HAS SOUPS 14730 WITH SCORE 14747.014
AT ITER 35 NEW BEST:: SOT 21006 SOS 16768 HAS SOPS 16768 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14608.768
AT ITER 36 NEW BEST:: SOT 20988 SOS 16739 HAS SOPS 16739 HAS SOUS 14541 HAS SOUPS 14541 WITH SCORE 14557.739
AT ITER 37 NEW BEST:: SOT 20975 SOS 16707 HAS SOPS 16707 HAS SOUS 14509 HAS SOUPS 14509 WITH SCORE 14525.707
AT ITER 38 NEW BEST:: SOT 20975 SOS 16554 HAS SOPS 16554 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14460.554
AT ITER 40 NEW BEST:: SOT 20975 SOS 16546 HAS SOPS 16546 HAS SOUS 14436 HAS SOUPS 14436 WITH SCORE 14452.546
AT ITER 44 NEW BEST:: SOT 20975 SOS 16467 HAS SOPS 16467 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14243.467
AT ITER 47 NEW BEST:: SOT 20975 SOS 16444 HAS SOPS 16444 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14220.444
AT ITER 48 NEW BEST:: SOT 20930 SOS 16399 HAS SOPS 16399 HAS SOUS 14159 HAS SOUPS 14159 WITH SCORE 14175.399
AT ITER 50 NEW BEST:: SOT 20897 SOS 16366 HAS SOPS 16366 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14109.366
AT ITER 51 NEW BEST:: SOT 20856 SOS 16313 HAS SOPS 16313 HAS SOUS 14085 HAS SOUPS 14085 WITH SCORE 14101.313
AT ITER 54 NEW BEST:: SOT 20846 SOS 16303 HAS SOPS 16303 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14089.303
AT ITER 56 NEW BEST:: SOT 20846 SOS 16087 HAS SOPS 16087 HAS SOUS 13953 HAS SOUPS 13953 WITH SCORE 13969.087
AT ITER 60 NEW BEST:: SOT 20706 SOS 15803 HAS SOPS 15803 HAS SOUS 13703 HAS SOUPS 13703 WITH SCORE 13718.803
AT ITER 65 NEW BEST:: SOT 20673 SOS 15759 HAS SOPS 15759 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13674.759
AT ITER 72 NEW BEST:: SOT 20665 SOS 15742 HAS SOPS 15742 HAS SOUS 13643 HAS SOUPS 13643 WITH SCORE 13658.742
AT ITER 73 NEW BEST:: SOT 20636 SOS 15724 HAS SOPS 15724 HAS SOUS 13625 HAS SOUPS 13625 WITH SCORE 13640.724
AT ITER 74 NEW BEST:: SOT 20551 SOS 15660 HAS SOPS 15660 HAS SOUS 13561 HAS SOUPS 13561 WITH SCORE 13576.66
AT ITER 75 NEW BEST:: SOT 20492 SOS 15599 HAS SOPS 15599 HAS SOUS 13541 HAS SOUPS 13541 WITH SCORE 13556.599
AT ITER 76 NEW BEST:: SOT 20492 SOS 15588 HAS SOPS 15588 HAS SOUS 13530 HAS SOUPS 13530 WITH SCORE 13545.588
AT ITER 77 NEW BEST:: SOT 20435 SOS 15531 HAS SOPS 15531 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13447.531
AT ITER 78 NEW BEST:: SOT 20398 SOS 15348 HAS SOPS 15348 HAS SOUS 13325 HAS SOUPS 13325 WITH SCORE 13340.348
AT ITER 79 NEW BEST:: SOT 20312 SOS 15091 HAS SOPS 15091 HAS SOUS 13190 HAS SOUPS 13190 WITH SCORE 13205.091
AT ITER 81 NEW BEST:: SOT 20179 SOS 14901 HAS SOPS 14901 HAS SOUS 13012 HAS SOUPS 13012 WITH SCORE 13026.901
AT ITER 84 NEW BEST:: SOT 20185 SOS 14859 HAS SOPS 14859 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13005.859
AT ITER 85 NEW BEST:: SOT 20185 SOS 14846 HAS SOPS 14846 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13005.846
AT ITER 86 NEW BEST:: SOT 20124 SOS 14761 HAS SOPS 14761 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12979.761
AT ITER 89 NEW BEST:: SOT 20061 SOS 14698 HAS SOPS 14698 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.698
AT ITER 90 NEW BEST:: SOT 20043 SOS 14666 HAS SOPS 14666 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12900.666
AT ITER 92 NEW BEST:: SOT 20025 SOS 14648 HAS SOPS 14648 HAS SOUS 12868 HAS SOUPS 12868 WITH SCORE 12882.648
AT ITER 93 NEW BEST:: SOT 20025 SOS 14532 HAS SOPS 14532 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12805.532
AT ITER 103 NEW BEST:: SOT 20017 SOS 14516 HAS SOPS 14516 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12789.516
AT ITER 108 NEW BEST:: SOT 19951 SOS 14450 HAS SOPS 14450 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12697.45
AT ITER 109 NEW BEST:: SOT 20007 SOS 14456 HAS SOPS 14456 HAS SOUS 12567 HAS SOUPS 12567 WITH SCORE 12581.456
AT ITER 113 NEW BEST:: SOT 19936 SOS 14366 HAS SOPS 14366 HAS SOUS 12477 HAS SOUPS 12477 WITH SCORE 12491.366
AT ITER 116 NEW BEST:: SOT 19911 SOS 14341 HAS SOPS 14341 HAS SOUS 12452 HAS SOUPS 12452 WITH SCORE 12466.341
AT ITER 125 NEW BEST:: SOT 19925 SOS 14355 HAS SOPS 14355 HAS SOUS 12451 HAS SOUPS 12451 WITH SCORE 12465.355
AT ITER 129 NEW BEST:: SOT 19917 SOS 14343 HAS SOPS 14343 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12453.343
AT ITER 130 NEW BEST:: SOT 19924 SOS 14342 HAS SOPS 14342 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12452.342
AT ITER 131 NEW BEST:: SOT 19928 SOS 14316 HAS SOPS 14316 HAS SOUS 12418 HAS SOUPS 12418 WITH SCORE 12432.316
AT ITER 139 NEW BEST:: SOT 19925 SOS 14001 HAS SOPS 14001 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12349.001
AT ITER 144 NEW BEST:: SOT 19911 SOS 13982 HAS SOPS 13982 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12329.982
AT ITER 153 NEW BEST:: SOT 19911 SOS 13982 HAS SOPS 13982 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12327.982
AT ITER 155 NEW BEST:: SOT 19856 SOS 13925 HAS SOPS 13925 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12262.925
AT ITER 158 NEW BEST:: SOT 19818 SOS 13887 HAS SOPS 13887 HAS SOUS 12211 HAS SOUPS 12211 WITH SCORE 12224.887
AT ITER 162 NEW BEST:: SOT 19818 SOS 13884 HAS SOPS 13884 HAS SOUS 12211 HAS SOUPS 12211 WITH SCORE 12224.884
AT ITER 163 NEW BEST:: SOT 19796 SOS 13862 HAS SOPS 13862 HAS SOUS 12181 HAS SOUPS 12181 WITH SCORE 12194.862
AT ITER 168 NEW BEST:: SOT 19796 SOS 13774 HAS SOPS 13774 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12155.774
AT ITER 169 NEW BEST:: SOT 19680 SOS 13677 HAS SOPS 13677 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12091.677
AT ITER 172 NEW BEST:: SOT 19665 SOS 13470 HAS SOPS 13470 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12040.47
AT ITER 173 NEW BEST:: SOT 19659 SOS 13464 HAS SOPS 13464 HAS SOUS 12021 HAS SOUPS 12021 WITH SCORE 12034.464
AT ITER 174 NEW BEST:: SOT 19659 SOS 13301 HAS SOPS 13301 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11948.301
AT ITER 177 NEW BEST:: SOT 19649 SOS 13291 HAS SOPS 13291 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11948.291
AT ITER 178 NEW BEST:: SOT 19625 SOS 13267 HAS SOPS 13267 HAS SOUS 11911 HAS SOUPS 11911 WITH SCORE 11924.267
AT ITER 179 NEW BEST:: SOT 19642 SOS 13200 HAS SOPS 13200 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11858.2
AT ITER 184 NEW BEST:: SOT 19563 SOS 13121 HAS SOPS 13121 HAS SOUS 11714 HAS SOUPS 11714 WITH SCORE 11727.121
AT ITER 185 NEW BEST:: SOT 19522 SOS 13048 HAS SOPS 13048 HAS SOUS 11641 HAS SOUPS 11641 WITH SCORE 11654.048
AT ITER 186 NEW BEST:: SOT 19488 SOS 12975 HAS SOPS 12975 HAS SOUS 11596 HAS SOUPS 11596 WITH SCORE 11608.975
AT ITER 187 NEW BEST:: SOT 19491 SOS 13015 HAS SOPS 13015 HAS SOUS 11595 HAS SOUPS 11595 WITH SCORE 11608.015
AT ITER 188 NEW BEST:: SOT 19411 SOS 12870 HAS SOPS 12870 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11447.87
AT ITER 189 NEW BEST:: SOT 19345 SOS 12661 HAS SOPS 12661 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11241.661
AT ITER 191 NEW BEST:: SOT 19256 SOS 12527 HAS SOPS 12527 HAS SOUS 11095 HAS SOUPS 11095 WITH SCORE 11107.527
AT ITER 192 NEW BEST:: SOT 19198 SOS 12514 HAS SOPS 12514 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11095.514
AT ITER 193 NEW BEST:: SOT 19172 SOS 12452 HAS SOPS 12452 HAS SOUS 11047 HAS SOUPS 11047 WITH SCORE 11059.452
AT ITER 196 NEW BEST:: SOT 19158 SOS 12399 HAS SOPS 12399 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11021.399
AT ITER 198 NEW BEST:: SOT 19063 SOS 12261 HAS SOPS 12261 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10957.261
AT ITER 199 NEW BEST:: SOT 18994 SOS 12197 HAS SOPS 12197 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10889.197
AT ITER 200 NEW BEST:: SOT 18994 SOS 12179 HAS SOPS 12179 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10889.179
AT ITER 206 NEW BEST:: SOT 18982 SOS 12143 HAS SOPS 12143 HAS SOUS 10853 HAS SOUPS 10853 WITH SCORE 10865.143
AT ITER 207 NEW BEST:: SOT 18982 SOS 12130 HAS SOPS 12130 HAS SOUS 10819 HAS SOUPS 10819 WITH SCORE 10831.13
AT ITER 212 NEW BEST:: SOT 18982 SOS 11991 HAS SOPS 11991 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10734.991
AT ITER 213 NEW BEST:: SOT 18975 SOS 11984 HAS SOPS 11984 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10727.984
AT ITER 215 NEW BEST:: SOT 18947 SOS 11956 HAS SOPS 11956 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10699.956
AT ITER 216 NEW BEST:: SOT 18899 SOS 11908 HAS SOPS 11908 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10651.908
AT ITER 224 NEW BEST:: SOT 18896 SOS 11902 HAS SOPS 11902 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10645.902
AT ITER 229 NEW BEST:: SOT 18859 SOS 11859 HAS SOPS 11859 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10602.859
AT ITER 231 NEW BEST:: SOT 18867 SOS 11856 HAS SOPS 11856 HAS SOUS 10588 HAS SOUPS 10588 WITH SCORE 10599.856
AT ITER 232 NEW BEST:: SOT 18857 SOS 11836 HAS SOPS 11836 HAS SOUS 10558 HAS SOUPS 10558 WITH SCORE 10569.836
AT ITER 236 NEW BEST:: SOT 18857 SOS 11813 HAS SOPS 11813 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10538.813
AT ITER 240 NEW BEST:: SOT 18841 SOS 11795 HAS SOPS 11795 HAS SOUS 10526 HAS SOUPS 10526 WITH SCORE 10537.795
AT ITER 248 NEW BEST:: SOT 18777 SOS 11711 HAS SOPS 11711 HAS SOUS 10473 HAS SOUPS 10473 WITH SCORE 10484.711
AT ITER 252 NEW BEST:: SOT 18764 SOS 11707 HAS SOPS 11707 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10480.707
AT ITER 263 NEW BEST:: SOT 18764 SOS 11722 HAS SOPS 11722 HAS SOUS 10461 HAS SOUPS 10461 WITH SCORE 10472.722
AT ITER 268 NEW BEST:: SOT 18779 SOS 11692 HAS SOPS 11692 HAS SOUS 10449 HAS SOUPS 10449 WITH SCORE 10460.692
AT ITER 269 NEW BEST:: SOT 18779 SOS 11536 HAS SOPS 11536 HAS SOUS 10349 HAS SOUPS 10349 WITH SCORE 10360.536
AT ITER 277 NEW BEST:: SOT 18703 SOS 11460 HAS SOPS 11460 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10284.46
AT ITER 279 NEW BEST:: SOT 18703 SOS 11457 HAS SOPS 11457 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10284.457
AT ITER 280 NEW BEST:: SOT 18601 SOS 11163 HAS SOPS 11163 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10134.163
AT ITER 282 NEW BEST:: SOT 18548 SOS 11034 HAS SOPS 11034 HAS SOUS 9994 HAS SOUPS 9994 WITH SCORE 10005.034
AT ITER 284 NEW BEST:: SOT 18537 SOS 11023 HAS SOPS 11023 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9994.023
AT ITER 285 NEW BEST:: SOT 18537 SOS 11004 HAS SOPS 11004 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9977.004
AT ITER 289 NEW BEST:: SOT 18539 SOS 10971 HAS SOPS 10971 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9943.971
AT ITER 295 NEW BEST:: SOT 18488 SOS 10863 HAS SOPS 10863 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9833.863
AT ITER 301 NEW BEST:: SOT 18494 SOS 10878 HAS SOPS 10878 HAS SOUS 9793 HAS SOUPS 9793 WITH SCORE 9803.878
AT ITER 314 NEW BEST:: SOT 18494 SOS 10766 HAS SOPS 10766 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9747.766
AT ITER 329 NEW BEST:: SOT 18493 SOS 10751 HAS SOPS 10751 HAS SOUS 9722 HAS SOUPS 9722 WITH SCORE 9732.751
AT ITER 330 NEW BEST:: SOT 18465 SOS 10695 HAS SOPS 10695 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9676.695
AT ITER 331 NEW BEST:: SOT 18457 SOS 10653 HAS SOPS 10653 HAS SOUS 9636 HAS SOUPS 9636 WITH SCORE 9646.653
AT ITER 337 NEW BEST:: SOT 18442 SOS 10638 HAS SOPS 10638 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9631.638
AT ITER 338 NEW BEST:: SOT 18442 SOS 10626 HAS SOPS 10626 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9625.626
AT ITER 342 NEW BEST:: SOT 18376 SOS 10581 HAS SOPS 10581 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9580.581
AT ITER 357 NEW BEST:: SOT 18302 SOS 10514 HAS SOPS 10514 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9510.514
AT ITER 360 NEW BEST:: SOT 18282 SOS 10484 HAS SOPS 10484 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9490.484
AT ITER 366 NEW BEST:: SOT 18278 SOS 10476 HAS SOPS 10476 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9484.476
AT ITER 379 NEW BEST:: SOT 18277 SOS 10485 HAS SOPS 10485 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9477.485
AT ITER 383 NEW BEST:: SOT 18315 SOS 10523 HAS SOPS 10523 HAS SOUS 9438 HAS SOUPS 9438 WITH SCORE 9448.523
AT ITER 384 NEW BEST:: SOT 18319 SOS 10522 HAS SOPS 10522 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9447.522
AT ITER 387 NEW BEST:: SOT 18307 SOS 10510 HAS SOPS 10510 HAS SOUS 9425 HAS SOUPS 9425 WITH SCORE 9435.51
AT ITER 392 NEW BEST:: SOT 18301 SOS 10498 HAS SOPS 10498 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9417.498
AT ITER 411 NEW BEST:: SOT 18301 SOS 10476 HAS SOPS 10476 HAS SOUS 9390 HAS SOUPS 9390 WITH SCORE 9400.476
AT ITER 413 NEW BEST:: SOT 18274 SOS 10449 HAS SOPS 10449 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9361.449
AT ITER 416 NEW BEST:: SOT 18241 SOS 10349 HAS SOPS 10349 HAS SOUS 9252 HAS SOUPS 9252 WITH SCORE 9262.349
AT ITER 430 NEW BEST:: SOT 18251 SOS 10293 HAS SOPS 10293 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9193.293
AT ITER 432 NEW BEST:: SOT 18155 SOS 10209 HAS SOPS 10209 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9142.209
AT ITER 440 NEW BEST:: SOT 18164 SOS 10218 HAS SOPS 10218 HAS SOUS 9102 HAS SOUPS 9102 WITH SCORE 9112.218
AT ITER 441 NEW BEST:: SOT 18163 SOS 10215 HAS SOPS 10215 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9108.215
AT ITER 442 NEW BEST:: SOT 18139 SOS 10183 HAS SOPS 10183 HAS SOUS 9066 HAS SOUPS 9066 WITH SCORE 9076.183
AT ITER 455 NEW BEST:: SOT 18118 SOS 10162 HAS SOPS 10162 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9055.162
AT ITER 465 NEW BEST:: SOT 18114 SOS 10158 HAS SOPS 10158 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9051.158
AT ITER 472 NEW BEST:: SOT 18076 SOS 10097 HAS SOPS 10097 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8978.097
AT ITER 474 NEW BEST:: SOT 18076 SOS 10092 HAS SOPS 10092 HAS SOUS 8958 HAS SOUPS 8958 WITH SCORE 8968.092
AT ITER 481 NEW BEST:: SOT 18076 SOS 10088 HAS SOPS 10088 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8964.088
AT ITER 483 NEW BEST:: SOT 17960 SOS 9889 HAS SOPS 9889 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8852.889
AT ITER 488 NEW BEST:: SOT 17946 SOS 9705 HAS SOPS 9705 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8741.705
AT ITER 501 NEW BEST:: SOT 17945 SOS 9703 HAS SOPS 9703 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8739.703
AT ITER 502 NEW BEST:: SOT 17847 SOS 9580 HAS SOPS 9580 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8677.58
AT ITER 503 NEW BEST:: SOT 17823 SOS 9561 HAS SOPS 9561 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8658.561
AT ITER 504 NEW BEST:: SOT 17809 SOS 9540 HAS SOPS 9540 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8644.54
AT ITER 505 NEW BEST:: SOT 17802 SOS 9533 HAS SOPS 9533 HAS SOUS 8628 HAS SOUPS 8628 WITH SCORE 8637.533
AT ITER 506 NEW BEST:: SOT 17762 SOS 9529 HAS SOPS 9529 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8633.529
AT ITER 507 NEW BEST:: SOT 17722 SOS 9471 HAS SOPS 9471 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8610.471
AT ITER 509 NEW BEST:: SOT 17716 SOS 9445 HAS SOPS 9445 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8565.445
AT ITER 512 NEW BEST:: SOT 17716 SOS 9425 HAS SOPS 9425 HAS SOUS 8536 HAS SOUPS 8536 WITH SCORE 8545.425
AT ITER 515 NEW BEST:: SOT 17716 SOS 9416 HAS SOPS 9416 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8542.416
AT ITER 520 NEW BEST:: SOT 17714 SOS 9338 HAS SOPS 9338 HAS SOUS 8503 HAS SOUPS 8503 WITH SCORE 8512.338
AT ITER 523 NEW BEST:: SOT 17710 SOS 9330 HAS SOPS 9330 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8504.33
AT ITER 525 NEW BEST:: SOT 17708 SOS 9328 HAS SOPS 9328 HAS SOUS 8493 HAS SOUPS 8493 WITH SCORE 8502.328
AT ITER 531 NEW BEST:: SOT 17706 SOS 9318 HAS SOPS 9318 HAS SOUS 8483 HAS SOUPS 8483 WITH SCORE 8492.318
AT ITER 541 NEW BEST:: SOT 17717 SOS 9292 HAS SOPS 9292 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8466.292
AT ITER 542 NEW BEST:: SOT 17708 SOS 9281 HAS SOPS 9281 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8427.281
AT ITER 551 NEW BEST:: SOT 17708 SOS 9281 HAS SOPS 9281 HAS SOUS 8393 HAS SOUPS 8393 WITH SCORE 8402.281
AT ITER 553 NEW BEST:: SOT 17693 SOS 9272 HAS SOPS 9272 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8389.272
AT ITER 555 NEW BEST:: SOT 17687 SOS 9248 HAS SOPS 9248 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8361.248
AT ITER 561 NEW BEST:: SOT 17669 SOS 9220 HAS SOPS 9220 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8315.22
AT ITER 566 NEW BEST:: SOT 17663 SOS 9196 HAS SOPS 9196 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8303.196
AT ITER 574 NEW BEST:: SOT 17663 SOS 9132 HAS SOPS 9132 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8272.132
AT ITER 575 NEW BEST:: SOT 17643 SOS 9084 HAS SOPS 9084 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8234.084
AT ITER 583 NEW BEST:: SOT 17633 SOS 9066 HAS SOPS 9066 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8222.066
AT ITER 586 NEW BEST:: SOT 17630 SOS 9039 HAS SOPS 9039 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8195.039
AT ITER 593 NEW BEST:: SOT 17606 SOS 9006 HAS SOPS 9006 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8163.006
AT ITER 596 NEW BEST:: SOT 17597 SOS 8979 HAS SOPS 8979 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8135.979
AT ITER 612 NEW BEST:: SOT 17595 SOS 8976 HAS SOPS 8976 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8132.976
AT ITER 615 NEW BEST:: SOT 17592 SOS 8970 HAS SOPS 8970 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8126.97
AT ITER 619 NEW BEST:: SOT 17597 SOS 8972 HAS SOPS 8972 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8086.972
AT ITER 634 NEW BEST:: SOT 17584 SOS 8907 HAS SOPS 8907 HAS SOUS 8052 HAS SOUPS 8052 WITH SCORE 8060.907
AT ITER 650 NEW BEST:: SOT 17578 SOS 8899 HAS SOPS 8899 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8052.899
AT ITER 653 NEW BEST:: SOT 17506 SOS 8788 HAS SOPS 8788 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7941.788
AT ITER 681 NEW BEST:: SOT 17478 SOS 8751 HAS SOPS 8751 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7912.751
AT ITER 684 NEW BEST:: SOT 17477 SOS 8774 HAS SOPS 8774 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7910.774
AT ITER 705 NEW BEST:: SOT 17482 SOS 8784 HAS SOPS 8784 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7898.784
AT ITER 707 NEW BEST:: SOT 17460 SOS 8749 HAS SOPS 8749 HAS SOUS 7842 HAS SOUPS 7842 WITH SCORE 7850.749
AT ITER 731 NEW BEST:: SOT 17450 SOS 8729 HAS SOPS 8729 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7830.729
AT ITER 740 NEW BEST:: SOT 17430 SOS 8699 HAS SOPS 8699 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7810.699
AT ITER 756 NEW BEST:: SOT 17430 SOS 8667 HAS SOPS 8667 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7794.667
AT ITER 760 NEW BEST:: SOT 17415 SOS 8656 HAS SOPS 8656 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7788.656
AT ITER 764 NEW BEST:: SOT 17403 SOS 8640 HAS SOPS 8640 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7776.64
AT ITER 790 NEW BEST:: SOT 17401 SOS 8599 HAS SOPS 8599 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7727.599
AT ITER 802 NEW BEST:: SOT 17395 SOS 8593 HAS SOPS 8593 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7721.593
AT ITER 819 NEW BEST:: SOT 17389 SOS 8582 HAS SOPS 8582 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7710.582
AT ITER 821 NEW BEST:: SOT 17357 SOS 8541 HAS SOPS 8541 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7641.541
AT ITER 826 NEW BEST:: SOT 17354 SOS 8538 HAS SOPS 8538 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7638.538
AT ITER 847 NEW BEST:: SOT 17303 SOS 8454 HAS SOPS 8454 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7559.454
AT ITER 867 NEW BEST:: SOT 17304 SOS 8427 HAS SOPS 8427 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7533.427
AT ITER 868 NEW BEST:: SOT 17324 SOS 8394 HAS SOPS 8394 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7500.394
AT ITER 874 NEW BEST:: SOT 17318 SOS 8389 HAS SOPS 8389 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7495.389
AT ITER 875 NEW BEST:: SOT 17318 SOS 8382 HAS SOPS 8382 HAS SOUS 7480 HAS SOUPS 7480 WITH SCORE 7488.382
AT ITER 887 NEW BEST:: SOT 17317 SOS 8381 HAS SOPS 8381 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7487.381
AT ITER 899 NEW BEST:: SOT 17305 SOS 8369 HAS SOPS 8369 HAS SOUS 7467 HAS SOUPS 7467 WITH SCORE 7475.369
AT ITER 907 NEW BEST:: SOT 17259 SOS 8277 HAS SOPS 8277 HAS SOUS 7375 HAS SOUPS 7375 WITH SCORE 7383.277
AT ITER 909 NEW BEST:: SOT 17258 SOS 8273 HAS SOPS 8273 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7380.273
AT ITER 919 NEW BEST:: SOT 17249 SOS 8255 HAS SOPS 8255 HAS SOUS 7363 HAS SOUPS 7363 WITH SCORE 7371.255
AT ITER 929 NEW BEST:: SOT 17258 SOS 8255 HAS SOPS 8255 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7358.255
AT ITER 930 NEW BEST:: SOT 17237 SOS 8167 HAS SOPS 8167 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7305.167
AT ITER 942 NEW BEST:: SOT 17237 SOS 8161 HAS SOPS 8161 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7305.161
AT ITER 950 NEW BEST:: SOT 17237 SOS 8116 HAS SOPS 8116 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7275.116
AT ITER 955 NEW BEST:: SOT 17236 SOS 8095 HAS SOPS 8095 HAS SOUS 7265 HAS SOUPS 7265 WITH SCORE 7273.095
AT ITER 960 NEW BEST:: SOT 17256 SOS 8093 HAS SOPS 8093 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.093
AT ITER 972 NEW BEST:: SOT 17253 SOS 8090 HAS SOPS 8090 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7268.09
AT ITER 1011 NEW BEST:: SOT 17237 SOS 8070 HAS SOPS 8070 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.07
AT ITER 1026 NEW BEST:: SOT 17233 SOS 8066 HAS SOPS 8066 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7255.066
AT ITER 1033 NEW BEST:: SOT 17229 SOS 8054 HAS SOPS 8054 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7243.054
AT ITER 1058 NEW BEST:: SOT 17226 SOS 8051 HAS SOPS 8051 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7240.051
AT ITER 1060 NEW BEST:: SOT 17207 SOS 8020 HAS SOPS 8020 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7209.02
AT ITER 1073 NEW BEST:: SOT 17211 SOS 8003 HAS SOPS 8003 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7192.003
AT ITER 1085 NEW BEST:: SOT 17192 SOS 7991 HAS SOPS 7991 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7179.991
AT ITER 1091 NEW BEST:: SOT 17195 SOS 7962 HAS SOPS 7962 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7146.962
AT ITER 1102 NEW BEST:: SOT 17172 SOS 7948 HAS SOPS 7948 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7132.948
AT ITER 1116 NEW BEST:: SOT 17165 SOS 7941 HAS SOPS 7941 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7125.941
AT ITER 1127 NEW BEST:: SOT 17150 SOS 7867 HAS SOPS 7867 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7068.867
AT ITER 1139 NEW BEST:: SOT 17138 SOS 7849 HAS SOPS 7849 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7050.849
AT ITER 1145 NEW BEST:: SOT 17118 SOS 7819 HAS SOPS 7819 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7027.819
AT ITER 1149 NEW BEST:: SOT 17104 SOS 7762 HAS SOPS 7762 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7021.762
AT ITER 1191 NEW BEST:: SOT 17089 SOS 7738 HAS SOPS 7738 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 6997.738
AT ITER 1204 NEW BEST:: SOT 17086 SOS 7736 HAS SOPS 7736 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6995.736
AT ITER 1208 NEW BEST:: SOT 17059 SOS 7697 HAS SOPS 7697 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6956.697
AT ITER 1238 NEW BEST:: SOT 17050 SOS 7695 HAS SOPS 7695 HAS SOUS 6947 HAS SOUPS 6947 WITH SCORE 6954.695
AT ITER 1246 NEW BEST:: SOT 17024 SOS 7677 HAS SOPS 7677 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6936.677
AT ITER 1248 NEW BEST:: SOT 16995 SOS 7643 HAS SOPS 7643 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.643
AT ITER 1255 NEW BEST:: SOT 16987 SOS 7627 HAS SOPS 7627 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6871.627
AT ITER 1259 NEW BEST:: SOT 16973 SOS 7613 HAS SOPS 7613 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6861.613
AT ITER 1260 NEW BEST:: SOT 16973 SOS 7537 HAS SOPS 7537 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6785.537
AT ITER 1264 NEW BEST:: SOT 16962 SOS 7518 HAS SOPS 7518 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6771.518
AT ITER 1273 NEW BEST:: SOT 16962 SOS 7494 HAS SOPS 7494 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.494
AT ITER 1296 NEW BEST:: SOT 16960 SOS 7492 HAS SOPS 7492 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6745.492
AT ITER 1317 NEW BEST:: SOT 16954 SOS 7477 HAS SOPS 7477 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6740.477
AT ITER 1328 NEW BEST:: SOT 16939 SOS 7445 HAS SOPS 7445 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6708.445
AT ITER 1337 NEW BEST:: SOT 16963 SOS 7487 HAS SOPS 7487 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6697.487
AT ITER 1343 NEW BEST:: SOT 16956 SOS 7460 HAS SOPS 7460 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6670.46
AT ITER 1345 NEW BEST:: SOT 16921 SOS 7425 HAS SOPS 7425 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6635.425
AT ITER 1349 NEW BEST:: SOT 16913 SOS 7417 HAS SOPS 7417 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.417
AT ITER 1361 NEW BEST:: SOT 16913 SOS 7392 HAS SOPS 7392 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.392
AT ITER 1400 NEW BEST:: SOT 16915 SOS 7387 HAS SOPS 7387 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6624.387
AT ITER 1410 NEW BEST:: SOT 16905 SOS 7377 HAS SOPS 7377 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6624.377
AT ITER 1419 NEW BEST:: SOT 16922 SOS 7408 HAS SOPS 7408 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6604.408
AT ITER 1420 NEW BEST:: SOT 16894 SOS 7217 HAS SOPS 7217 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6496.217
AT ITER 1426 NEW BEST:: SOT 16894 SOS 7191 HAS SOPS 7191 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6496.191
AT ITER 1428 NEW BEST:: SOT 16894 SOS 7178 HAS SOPS 7178 HAS SOUS 6476 HAS SOUPS 6476 WITH SCORE 6483.178
AT ITER 1431 NEW BEST:: SOT 16893 SOS 7177 HAS SOPS 7177 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.177
AT ITER 1434 NEW BEST:: SOT 16888 SOS 7248 HAS SOPS 7248 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6476.248
AT ITER 1438 NEW BEST:: SOT 16892 SOS 7246 HAS SOPS 7246 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6474.246
AT ITER 1448 NEW BEST:: SOT 16892 SOS 7246 HAS SOPS 7246 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6454.246
AT ITER 1452 NEW BEST:: SOT 16882 SOS 7144 HAS SOPS 7144 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6408.144
AT ITER 1464 NEW BEST:: SOT 16888 SOS 7150 HAS SOPS 7150 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6386.15
AT ITER 1469 NEW BEST:: SOT 16856 SOS 7118 HAS SOPS 7118 HAS SOUS 6347 HAS SOUPS 6347 WITH SCORE 6354.118
AT ITER 1481 NEW BEST:: SOT 16856 SOS 7117 HAS SOPS 7117 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6353.117
AT ITER 1522 NEW BEST:: SOT 16838 SOS 7093 HAS SOPS 7093 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6349.093
AT ITER 1524 NEW BEST:: SOT 16828 SOS 7073 HAS SOPS 7073 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6329.073
AT ITER 1529 NEW BEST:: SOT 16816 SOS 7039 HAS SOPS 7039 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6307.039
AT ITER 1538 NEW BEST:: SOT 16814 SOS 7035 HAS SOPS 7035 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6303.035
AT ITER 1587 NEW BEST:: SOT 16810 SOS 7026 HAS SOPS 7026 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6297.026
AT ITER 1596 NEW BEST:: SOT 16805 SOS 7021 HAS SOPS 7021 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6292.021
AT ITER 1654 NEW BEST:: SOT 16806 SOS 7022 HAS SOPS 7022 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6291.022
AT ITER 1658 NEW BEST:: SOT 16803 SOS 7019 HAS SOPS 7019 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6288.019
AT ITER 1687 NEW BEST:: SOT 16782 SOS 6994 HAS SOPS 6994 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6262.994
AT ITER 1689 NEW BEST:: SOT 16789 SOS 7001 HAS SOPS 7001 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6255.001
AT ITER 1693 NEW BEST:: SOT 16789 SOS 6966 HAS SOPS 6966 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6254.966
AT ITER 1696 NEW BEST:: SOT 16765 SOS 6942 HAS SOPS 6942 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6230.942
AT ITER 1712 NEW BEST:: SOT 16747 SOS 6907 HAS SOPS 6907 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6195.907
AT ITER 1744 NEW BEST:: SOT 16743 SOS 6901 HAS SOPS 6901 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6189.901
AT ITER 1761 NEW BEST:: SOT 16743 SOS 6897 HAS SOPS 6897 HAS SOUS 6179 HAS SOUPS 6179 WITH SCORE 6185.897
AT ITER 1763 NEW BEST:: SOT 16743 SOS 6869 HAS SOPS 6869 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6171.869
AT ITER 1773 NEW BEST:: SOT 16737 SOS 6860 HAS SOPS 6860 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6162.86
AT ITER 1792 NEW BEST:: SOT 16734 SOS 6851 HAS SOPS 6851 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6152.851
AT ITER 1807 NEW BEST:: SOT 16732 SOS 6835 HAS SOPS 6835 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6136.835
AT ITER 1809 NEW BEST:: SOT 16718 SOS 6823 HAS SOPS 6823 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6128.823
AT ITER 1813 NEW BEST:: SOT 16714 SOS 6791 HAS SOPS 6791 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6124.791
AT ITER 1823 NEW BEST:: SOT 16712 SOS 6789 HAS SOPS 6789 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6122.789
AT ITER 1828 NEW BEST:: SOT 16706 SOS 6781 HAS SOPS 6781 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6104.781
AT ITER 1855 NEW BEST:: SOT 16706 SOS 6779 HAS SOPS 6779 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6102.779
AT ITER 1867 NEW BEST:: SOT 16771 SOS 6844 HAS SOPS 6844 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6089.844
AT ITER 1871 NEW BEST:: SOT 16760 SOS 6802 HAS SOPS 6802 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6069.802
AT ITER 1874 NEW BEST:: SOT 16751 SOS 6787 HAS SOPS 6787 HAS SOUS 6051 HAS SOUPS 6051 WITH SCORE 6057.787
AT ITER 1880 NEW BEST:: SOT 16750 SOS 6784 HAS SOPS 6784 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6055.784
AT ITER 1897 NEW BEST:: SOT 16752 SOS 6765 HAS SOPS 6765 HAS SOUS 6035 HAS SOUPS 6035 WITH SCORE 6041.765
AT ITER 1901 NEW BEST:: SOT 16752 SOS 6755 HAS SOPS 6755 HAS SOUS 6025 HAS SOUPS 6025 WITH SCORE 6031.755
AT ITER 1915 NEW BEST:: SOT 16752 SOS 6751 HAS SOPS 6751 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6024.751
AT ITER 1916 NEW BEST:: SOT 16756 SOS 6722 HAS SOPS 6722 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 5995.722
AT ITER 1937 NEW BEST:: SOT 16753 SOS 6716 HAS SOPS 6716 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5989.716
AT ITER 1960 NEW BEST:: SOT 16756 SOS 6719 HAS SOPS 6719 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5981.719
AT ITER 1963 NEW BEST:: SOT 16733 SOS 6752 HAS SOPS 6752 HAS SOUS 5969 HAS SOUPS 5969 WITH SCORE 5975.752
AT ITER 1966 NEW BEST:: SOT 16726 SOS 6745 HAS SOPS 6745 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5968.745
AT ITER 1983 NEW BEST:: SOT 16718 SOS 6737 HAS SOPS 6737 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5968.737
AT ITER 1999 NEW BEST:: SOT 16720 SOS 6741 HAS SOPS 6741 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5967.741
AT ITER 2001 NEW BEST:: SOT 16714 SOS 6735 HAS SOPS 6735 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5961.735
AT ITER 2033 NEW BEST:: SOT 16675 SOS 6696 HAS SOPS 6696 HAS SOUS 5955 HAS SOUPS 5955 WITH SCORE 5961.696
AT ITER 2047 NEW BEST:: SOT 16670 SOS 6686 HAS SOPS 6686 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5951.686
AT ITER 2066 NEW BEST:: SOT 16663 SOS 6679 HAS SOPS 6679 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5944.679
AT ITER 2082 NEW BEST:: SOT 16657 SOS 6669 HAS SOPS 6669 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5934.669
AT ITER 2092 NEW BEST:: SOT 16657 SOS 6600 HAS SOPS 6600 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5919.6
AT ITER 2110 NEW BEST:: SOT 16648 SOS 6588 HAS SOPS 6588 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5911.588
AT ITER 2111 NEW BEST:: SOT 16636 SOS 6542 HAS SOPS 6542 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5881.542
AT ITER 2117 NEW BEST:: SOT 16629 SOS 6488 HAS SOPS 6488 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5850.488
AT ITER 2172 NEW BEST:: SOT 16624 SOS 6483 HAS SOPS 6483 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5845.483
AT ITER 2175 NEW BEST:: SOT 16594 SOS 6451 HAS SOPS 6451 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5820.451
AT ITER 2181 NEW BEST:: SOT 16593 SOS 6448 HAS SOPS 6448 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5819.448
AT ITER 2209 NEW BEST:: SOT 16593 SOS 6445 HAS SOPS 6445 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5816.445
AT ITER 2241 NEW BEST:: SOT 16622 SOS 6466 HAS SOPS 6466 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5815.466
AT ITER 2245 NEW BEST:: SOT 16610 SOS 6442 HAS SOPS 6442 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5797.442
AT ITER 2249 NEW BEST:: SOT 16604 SOS 6430 HAS SOPS 6430 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5785.43
AT ITER 2265 NEW BEST:: SOT 16583 SOS 6409 HAS SOPS 6409 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5784.409
AT ITER 2266 NEW BEST:: SOT 16581 SOS 6410 HAS SOPS 6410 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5781.41
AT ITER 2291 NEW BEST:: SOT 16576 SOS 6407 HAS SOPS 6407 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5778.407
AT ITER 2311 NEW BEST:: SOT 16551 SOS 6382 HAS SOPS 6382 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5771.382
AT ITER 2330 NEW BEST:: SOT 16545 SOS 6370 HAS SOPS 6370 HAS SOUS 5757 HAS SOUPS 5757 WITH SCORE 5763.37
AT ITER 2365 NEW BEST:: SOT 16499 SOS 6362 HAS SOPS 6362 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5755.362
AT ITER 2377 NEW BEST:: SOT 16491 SOS 6350 HAS SOPS 6350 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.35
AT ITER 2397 NEW BEST:: SOT 16491 SOS 6328 HAS SOPS 6328 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5721.328
AT ITER 2409 NEW BEST:: SOT 16479 SOS 6298 HAS SOPS 6298 HAS SOUS 5694 HAS SOUPS 5694 WITH SCORE 5700.298
AT ITER 2413 NEW BEST:: SOT 16471 SOS 6282 HAS SOPS 6282 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5692.282
AT ITER 2428 NEW BEST:: SOT 16470 SOS 6278 HAS SOPS 6278 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5660.278
AT ITER 2468 NEW BEST:: SOT 16432 SOS 6235 HAS SOPS 6235 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.235
AT ITER 2480 NEW BEST:: SOT 16432 SOS 6232 HAS SOPS 6232 HAS SOUS 5607 HAS SOUPS 5607 WITH SCORE 5613.232
AT ITER 2511 NEW BEST:: SOT 16427 SOS 6227 HAS SOPS 6227 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5608.227
AT ITER 2515 NEW BEST:: SOT 16418 SOS 6218 HAS SOPS 6218 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5599.218
AT ITER 2588 NEW BEST:: SOT 16409 SOS 6178 HAS SOPS 6178 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5571.178
AT ITER 2597 NEW BEST:: SOT 16409 SOS 6153 HAS SOPS 6153 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5557.153
AT ITER 2607 NEW BEST:: SOT 16399 SOS 6143 HAS SOPS 6143 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5547.143
AT ITER 2608 NEW BEST:: SOT 16398 SOS 6142 HAS SOPS 6142 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.142
AT ITER 2609 NEW BEST:: SOT 16398 SOS 6138 HAS SOPS 6138 HAS SOUS 5538 HAS SOUPS 5538 WITH SCORE 5544.138
AT ITER 2649 NEW BEST:: SOT 16376 SOS 6119 HAS SOPS 6119 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.119
AT ITER 2667 NEW BEST:: SOT 16368 SOS 6104 HAS SOPS 6104 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5505.104
AT ITER 2674 NEW BEST:: SOT 16361 SOS 6097 HAS SOPS 6097 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.097
AT ITER 2676 NEW BEST:: SOT 16357 SOS 6093 HAS SOPS 6093 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.093
AT ITER 2682 NEW BEST:: SOT 16357 SOS 6093 HAS SOPS 6093 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5493.093
AT ITER 2684 NEW BEST:: SOT 16346 SOS 6082 HAS SOPS 6082 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5482.082
AT ITER 2688 NEW BEST:: SOT 16343 SOS 6073 HAS SOPS 6073 HAS SOUS 5467 HAS SOUPS 5467 WITH SCORE 5473.073
AT ITER 2697 NEW BEST:: SOT 16343 SOS 6068 HAS SOPS 6068 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5471.068
AT ITER 2702 NEW BEST:: SOT 16343 SOS 6036 HAS SOPS 6036 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5471.036
AT ITER 2738 NEW BEST:: SOT 16346 SOS 6020 HAS SOPS 6020 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5460.02
AT ITER 2755 NEW BEST:: SOT 16336 SOS 5998 HAS SOPS 5998 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5437.998
AT ITER 2785 NEW BEST:: SOT 16335 SOS 5997 HAS SOPS 5997 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5435.997
AT ITER 2826 NEW BEST:: SOT 16333 SOS 5991 HAS SOPS 5991 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5429.991
AT ITER 2842 NEW BEST:: SOT 16331 SOS 5988 HAS SOPS 5988 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5426.988
AT ITER 2850 NEW BEST:: SOT 16337 SOS 5976 HAS SOPS 5976 HAS SOUS 5411 HAS SOUPS 5411 WITH SCORE 5416.976
AT ITER 2864 NEW BEST:: SOT 16347 SOS 5971 HAS SOPS 5971 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5411.971
AT ITER 2891 NEW BEST:: SOT 16347 SOS 5960 HAS SOPS 5960 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5401.96
AT ITER 2905 NEW BEST:: SOT 16344 SOS 5956 HAS SOPS 5956 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5398.956
AT ITER 2907 NEW BEST:: SOT 16344 SOS 5955 HAS SOPS 5955 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5397.955
AT ITER 2909 NEW BEST:: SOT 16344 SOS 5954 HAS SOPS 5954 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5396.954
AT ITER 2938 NEW BEST:: SOT 16334 SOS 5946 HAS SOPS 5946 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5388.946
AT ITER 2951 NEW BEST:: SOT 16338 SOS 5931 HAS SOPS 5931 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5368.931
AT ITER 2954 NEW BEST:: SOT 16335 SOS 5895 HAS SOPS 5895 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5349.895
AT ITER 2970 NEW BEST:: SOT 16335 SOS 5892 HAS SOPS 5892 HAS SOUS 5341 HAS SOUPS 5341 WITH SCORE 5346.892
AT ITER 2986 NEW BEST:: SOT 16333 SOS 5884 HAS SOPS 5884 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5340.884
AT ITER 3033 NEW BEST:: SOT 16320 SOS 5868 HAS SOPS 5868 HAS SOUS 5319 HAS SOUPS 5319 WITH SCORE 5324.868
AT ITER 3134 NEW BEST:: SOT 16310 SOS 5828 HAS SOPS 5828 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5284.828
AT ITER 3137 NEW BEST:: SOT 16346 SOS 5846 HAS SOPS 5846 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5264.846
AT ITER 3155 NEW BEST:: SOT 16350 SOS 5826 HAS SOPS 5826 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.826
AT ITER 3169 NEW BEST:: SOT 16350 SOS 5825 HAS SOPS 5825 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5244.825
AT ITER 3172 NEW BEST:: SOT 16335 SOS 5810 HAS SOPS 5810 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5229.81
AT ITER 3228 NEW BEST:: SOT 16335 SOS 5807 HAS SOPS 5807 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5226.807
AT ITER 3267 NEW BEST:: SOT 16313 SOS 5759 HAS SOPS 5759 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5178.759
AT ITER 3277 NEW BEST:: SOT 16312 SOS 5756 HAS SOPS 5756 HAS SOUS 5170 HAS SOUPS 5170 WITH SCORE 5175.756
AT ITER 3288 NEW BEST:: SOT 16304 SOS 5748 HAS SOPS 5748 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5167.748
AT ITER 3300 NEW BEST:: SOT 16304 SOS 5746 HAS SOPS 5746 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5165.746
AT ITER 3327 NEW BEST:: SOT 16279 SOS 5728 HAS SOPS 5728 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5147.728
AT ITER 3337 NEW BEST:: SOT 16279 SOS 5713 HAS SOPS 5713 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5132.713
AT ITER 3340 NEW BEST:: SOT 16279 SOS 5712 HAS SOPS 5712 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5131.712
AT ITER 3379 NEW BEST:: SOT 16288 SOS 5719 HAS SOPS 5719 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5129.719
AT ITER 3416 NEW BEST:: SOT 16288 SOS 5654 HAS SOPS 5654 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5108.654
AT ITER 3461 NEW BEST:: SOT 16287 SOS 5634 HAS SOPS 5634 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5102.634
AT ITER 3482 NEW BEST:: SOT 16288 SOS 5629 HAS SOPS 5629 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5097.629
AT ITER 3516 NEW BEST:: SOT 16286 SOS 5611 HAS SOPS 5611 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5079.611
AT ITER 3526 NEW BEST:: SOT 16279 SOS 5597 HAS SOPS 5597 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5065.597
AT ITER 3527 NEW BEST:: SOT 16279 SOS 5591 HAS SOPS 5591 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5059.591
AT ITER 3578 NEW BEST:: SOT 16279 SOS 5584 HAS SOPS 5584 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5052.584
AT ITER 3583 NEW BEST:: SOT 16273 SOS 5581 HAS SOPS 5581 HAS SOUS 5044 HAS SOUPS 5044 WITH SCORE 5049.581
AT ITER 3595 NEW BEST:: SOT 16269 SOS 5575 HAS SOPS 5575 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5043.575
AT ITER 3628 NEW BEST:: SOT 16267 SOS 5572 HAS SOPS 5572 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5039.572
AT ITER 3632 NEW BEST:: SOT 16264 SOS 5570 HAS SOPS 5570 HAS SOUS 5032 HAS SOUPS 5032 WITH SCORE 5037.57
AT ITER 3637 NEW BEST:: SOT 16255 SOS 5557 HAS SOPS 5557 HAS SOUS 5019 HAS SOUPS 5019 WITH SCORE 5024.557
AT ITER 3642 NEW BEST:: SOT 16253 SOS 5553 HAS SOPS 5553 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5022.553
AT ITER 3653 NEW BEST:: SOT 16246 SOS 5543 HAS SOPS 5543 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5006.543
AT ITER 3676 NEW BEST:: SOT 16242 SOS 5535 HAS SOPS 5535 HAS SOUS 4989 HAS SOUPS 4989 WITH SCORE 4994.535
AT ITER 3727 NEW BEST:: SOT 16215 SOS 5518 HAS SOPS 5518 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4981.518
AT ITER 3776 NEW BEST:: SOT 16214 SOS 5517 HAS SOPS 5517 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.517
AT ITER 3779 NEW BEST:: SOT 16212 SOS 5515 HAS SOPS 5515 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4978.515
AT ITER 3826 NEW BEST:: SOT 16208 SOS 5509 HAS SOPS 5509 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4972.509
AT ITER 3894 NEW BEST:: SOT 16202 SOS 5500 HAS SOPS 5500 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4963.5
AT ITER 3958 NEW BEST:: SOT 16192 SOS 5499 HAS SOPS 5499 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4962.499
AT ITER 3988 NEW BEST:: SOT 16191 SOS 5498 HAS SOPS 5498 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4961.498
AT ITER 4004 NEW BEST:: SOT 16189 SOS 5496 HAS SOPS 5496 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4959.496
AT ITER 4033 NEW BEST:: SOT 16181 SOS 5481 HAS SOPS 5481 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4943.481
AT ITER 4100 NEW BEST:: SOT 16179 SOS 5478 HAS SOPS 5478 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4940.478
AT ITER 4184 NEW BEST:: SOT 16178 SOS 5476 HAS SOPS 5476 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4937.476
AT ITER 4227 NEW BEST:: SOT 16178 SOS 5463 HAS SOPS 5463 HAS SOUS 4919 HAS SOUPS 4919 WITH SCORE 4924.463
AT ITER 4229 NEW BEST:: SOT 16181 SOS 5458 HAS SOPS 5458 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4921.458
AT ITER 4236 NEW BEST:: SOT 16189 SOS 5458 HAS SOPS 5458 HAS SOUS 4907 HAS SOUPS 4907 WITH SCORE 4912.458
AT ITER 4290 NEW BEST:: SOT 16183 SOS 5446 HAS SOPS 5446 HAS SOUS 4895 HAS SOUPS 4895 WITH SCORE 4900.446
AT ITER 4301 NEW BEST:: SOT 16182 SOS 5453 HAS SOPS 5453 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4899.453
AT ITER 4316 NEW BEST:: SOT 16169 SOS 5440 HAS SOPS 5440 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.44
AT ITER 4318 NEW BEST:: SOT 16160 SOS 5423 HAS SOPS 5423 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4872.423
AT ITER 4376 NEW BEST:: SOT 16156 SOS 5419 HAS SOPS 5419 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4868.419
AT ITER 4392 NEW BEST:: SOT 16136 SOS 5375 HAS SOPS 5375 HAS SOUS 4819 HAS SOUPS 4819 WITH SCORE 4824.375
AT ITER 4437 NEW BEST:: SOT 16132 SOS 5371 HAS SOPS 5371 HAS SOUS 4815 HAS SOUPS 4815 WITH SCORE 4820.371
AT ITER 4440 NEW BEST:: SOT 16123 SOS 5362 HAS SOPS 5362 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4811.362
AT ITER 4470 NEW BEST:: SOT 16123 SOS 5365 HAS SOPS 5365 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4808.365
AT ITER 4497 NEW BEST:: SOT 16123 SOS 5363 HAS SOPS 5363 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4806.363
AT ITER 4531 NEW BEST:: SOT 16112 SOS 5344 HAS SOPS 5344 HAS SOUS 4790 HAS SOUPS 4790 WITH SCORE 4795.344
AT ITER 4643 NEW BEST:: SOT 16106 SOS 5327 HAS SOPS 5327 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4778.327
AT ITER 4664 NEW BEST:: SOT 16106 SOS 5310 HAS SOPS 5310 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4774.31
AT ITER 4692 NEW BEST:: SOT 16103 SOS 5305 HAS SOPS 5305 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4769.305
AT ITER 4737 NEW BEST:: SOT 16097 SOS 5297 HAS SOPS 5297 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4761.297
AT ITER 4782 NEW BEST:: SOT 16100 SOS 5296 HAS SOPS 5296 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4761.296
AT ITER 4788 NEW BEST:: SOT 16093 SOS 5255 HAS SOPS 5255 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.255
AT ITER 4834 NEW BEST:: SOT 16090 SOS 5246 HAS SOPS 5246 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4750.246
AT ITER 4930 NEW BEST:: SOT 16091 SOS 5247 HAS SOPS 5247 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.247
AT ITER 5050 NEW BEST:: SOT 16091 SOS 5246 HAS SOPS 5246 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4748.246
AT ITER 5105 NEW BEST:: SOT 16087 SOS 5234 HAS SOPS 5234 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4736.234
AT ITER 5154 NEW BEST:: SOT 16084 SOS 5231 HAS SOPS 5231 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4733.231
AT ITER 5156 NEW BEST:: SOT 16074 SOS 5216 HAS SOPS 5216 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4718.216
AT ITER 5173 NEW BEST:: SOT 16068 SOS 5209 HAS SOPS 5209 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4713.209
AT ITER 5199 NEW BEST:: SOT 16065 SOS 5200 HAS SOPS 5200 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4707.2
AT ITER 5273 NEW BEST:: SOT 16068 SOS 5196 HAS SOPS 5196 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4703.196
AT ITER 5332 NEW BEST:: SOT 16066 SOS 5195 HAS SOPS 5195 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4702.195
AT ITER 5359 NEW BEST:: SOT 16076 SOS 5197 HAS SOPS 5197 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4701.197
AT ITER 5390 NEW BEST:: SOT 16074 SOS 5184 HAS SOPS 5184 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4693.184
AT ITER 5421 NEW BEST:: SOT 16079 SOS 5202 HAS SOPS 5202 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.202
AT ITER 5462 NEW BEST:: SOT 16077 SOS 5200 HAS SOPS 5200 HAS SOUS 4683 HAS SOUPS 4683 WITH SCORE 4688.2
AT ITER 5572 NEW BEST:: SOT 16073 SOS 5196 HAS SOPS 5196 HAS SOUS 4681 HAS SOUPS 4681 WITH SCORE 4686.196
AT ITER 5574 NEW BEST:: SOT 16061 SOS 5174 HAS SOPS 5174 HAS SOUS 4668 HAS SOUPS 4668 WITH SCORE 4673.174
AT ITER 5720 NEW BEST:: SOT 16057 SOS 5173 HAS SOPS 5173 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4672.173
AT ITER 5738 NEW BEST:: SOT 16056 SOS 5171 HAS SOPS 5171 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4670.171
AT ITER 5754 NEW BEST:: SOT 16055 SOS 5168 HAS SOPS 5168 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4667.168
AT ITER 5812 NEW BEST:: SOT 16055 SOS 5165 HAS SOPS 5165 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4667.165
AT ITER 5916 NEW BEST:: SOT 16055 SOS 5159 HAS SOPS 5159 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4661.159
AT ITER 5962 NEW BEST:: SOT 16055 SOS 5158 HAS SOPS 5158 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4661.158
AT ITER 5966 NEW BEST:: SOT 16054 SOS 5156 HAS SOPS 5156 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4659.156
AT ITER 6001 NEW BEST:: SOT 16054 SOS 5152 HAS SOPS 5152 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4657.152
AT ITER 6022 NEW BEST:: SOT 16056 SOS 5153 HAS SOPS 5153 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4656.153
AT ITER 6049 NEW BEST:: SOT 16054 SOS 5149 HAS SOPS 5149 HAS SOUS 4645 HAS SOUPS 4645 WITH SCORE 4650.149
AT ITER 6054 NEW BEST:: SOT 16054 SOS 5148 HAS SOPS 5148 HAS SOUS 4644 HAS SOUPS 4644 WITH SCORE 4649.148
AT ITER 6070 NEW BEST:: SOT 16051 SOS 5144 HAS SOPS 5144 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4648.144
AT ITER 6225 NEW BEST:: SOT 16050 SOS 5145 HAS SOPS 5145 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4646.145
AT ITER 6281 NEW BEST:: SOT 16040 SOS 5096 HAS SOPS 5096 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4610.096
AT ITER 6344 NEW BEST:: SOT 16038 SOS 5092 HAS SOPS 5092 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4607.092
AT ITER 6449 NEW BEST:: SOT 16035 SOS 5078 HAS SOPS 5078 HAS SOUS 4594 HAS SOUPS 4594 WITH SCORE 4599.078
AT ITER 6457 NEW BEST:: SOT 16034 SOS 5076 HAS SOPS 5076 HAS SOUS 4592 HAS SOUPS 4592 WITH SCORE 4597.076
AT ITER 6649 NEW BEST:: SOT 16028 SOS 5064 HAS SOPS 5064 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.064
AT ITER 6686 NEW BEST:: SOT 16022 SOS 5054 HAS SOPS 5054 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4584.054
AT ITER 6781 NEW BEST:: SOT 16022 SOS 5053 HAS SOPS 5053 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4583.053
AT ITER 6887 NEW BEST:: SOT 16022 SOS 5049 HAS SOPS 5049 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4579.049
AT ITER 7038 NEW BEST:: SOT 16021 SOS 5046 HAS SOPS 5046 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4576.046
AT ITER 7093 NEW BEST:: SOT 16036 SOS 5038 HAS SOPS 5038 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4568.038
AT ITER 7097 NEW BEST:: SOT 16030 SOS 5030 HAS SOPS 5030 HAS SOUS 4558 HAS SOUPS 4558 WITH SCORE 4563.03
AT ITER 7183 NEW BEST:: SOT 16022 SOS 5014 HAS SOPS 5014 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4555.014
AT ITER 7191 NEW BEST:: SOT 16012 SOS 4999 HAS SOPS 4999 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4536.999
AT ITER 7327 NEW BEST:: SOT 16005 SOS 4992 HAS SOPS 4992 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4529.992
AT ITER 7361 NEW BEST:: SOT 16009 SOS 4988 HAS SOPS 4988 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4528.988
AT ITER 7376 NEW BEST:: SOT 16004 SOS 4978 HAS SOPS 4978 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4517.978
AT ITER 7457 NEW BEST:: SOT 15995 SOS 4974 HAS SOPS 4974 HAS SOUS 4509 HAS SOUPS 4509 WITH SCORE 4513.974
AT ITER 7475 NEW BEST:: SOT 15994 SOS 4969 HAS SOPS 4969 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4509.969
AT ITER 7497 NEW BEST:: SOT 15992 SOS 4967 HAS SOPS 4967 HAS SOUS 4505 HAS SOUPS 4505 WITH SCORE 4509.967
AT ITER 7552 NEW BEST:: SOT 15989 SOS 4982 HAS SOPS 4982 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4506.982
AT ITER 7556 NEW BEST:: SOT 15989 SOS 4980 HAS SOPS 4980 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4504.98
AT ITER 7585 NEW BEST:: SOT 15984 SOS 4965 HAS SOPS 4965 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4489.965
AT ITER 7680 NEW BEST:: SOT 15974 SOS 4950 HAS SOPS 4950 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4479.95
AT ITER 7806 NEW BEST:: SOT 15975 SOS 4942 HAS SOPS 4942 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4474.942
AT ITER 7895 NEW BEST:: SOT 15974 SOS 4940 HAS SOPS 4940 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4470.94
AT ITER 7898 NEW BEST:: SOT 15971 SOS 4938 HAS SOPS 4938 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4470.938
AT ITER 7911 NEW BEST:: SOT 15981 SOS 4940 HAS SOPS 4940 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4464.94
AT ITER 7949 NEW BEST:: SOT 15981 SOS 4939 HAS SOPS 4939 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4463.939
AT ITER 7957 NEW BEST:: SOT 15981 SOS 4930 HAS SOPS 4930 HAS SOUS 4458 HAS SOUPS 4458 WITH SCORE 4462.93
AT ITER 8012 NEW BEST:: SOT 15980 SOS 4926 HAS SOPS 4926 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.926
AT ITER 8028 NEW BEST:: SOT 15979 SOS 4925 HAS SOPS 4925 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.925
AT ITER 8043 NEW BEST:: SOT 15978 SOS 4924 HAS SOPS 4924 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.924
AT ITER 8409 NEW BEST:: SOT 15977 SOS 4922 HAS SOPS 4922 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4456.922
AT ITER 8427 NEW BEST:: SOT 15971 SOS 4912 HAS SOPS 4912 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4446.912
AT ITER 8463 NEW BEST:: SOT 15963 SOS 4904 HAS SOPS 4904 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4438.904
AT ITER 8480 NEW BEST:: SOT 15961 SOS 4902 HAS SOPS 4902 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4436.902
AT ITER 8563 NEW BEST:: SOT 15961 SOS 4897 HAS SOPS 4897 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4431.897
AT ITER 9015 NEW BEST:: SOT 15960 SOS 4895 HAS SOPS 4895 HAS SOUS 4425 HAS SOUPS 4425 WITH SCORE 4429.895
AT ITER 9142 NEW BEST:: SOT 15958 SOS 4895 HAS SOPS 4895 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4427.895
AT ITER 9214 NEW BEST:: SOT 15956 SOS 4893 HAS SOPS 4893 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4425.893
AT ITER 9220 NEW BEST:: SOT 15947 SOS 4884 HAS SOPS 4884 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4425.884
AT ITER 9294 NEW BEST:: SOT 15932 SOS 4861 HAS SOPS 4861 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4402.861
AT ITER 9443 NEW BEST:: SOT 15927 SOS 4856 HAS SOPS 4856 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4397.856
AT ITER 9567 NEW BEST:: SOT 15930 SOS 4855 HAS SOPS 4855 HAS SOUS 4389 HAS SOUPS 4389 WITH SCORE 4393.855
AT ITER 9600 NEW BEST:: SOT 15930 SOS 4854 HAS SOPS 4854 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4392.854
AT ITER 9606 NEW BEST:: SOT 15930 SOS 4851 HAS SOPS 4851 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4391.851
AT ITER 9763 NEW BEST:: SOT 15920 SOS 4836 HAS SOPS 4836 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4376.836
AT ITER 9811 NEW BEST:: SOT 15918 SOS 4834 HAS SOPS 4834 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4374.834
STATE_SPACE STATES 23058430092136939520000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 91 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 933866418731546050560000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590440120543

--------------------
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="ShieldIIPt-PT-010A"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPt-PT-010A, 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 r207-tajo-159033469300304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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