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-159033469700632.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 ShieldPPPt-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469700632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.4K May 14 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 08:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K May 13 08:50 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 74K 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 1590446627109

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

Filename model.pnml
Petri model created: 315 places, 287 transitions, 718 arcs.
AT ITER 0 NEW BEST:: SOT 49797 SOS 14260 HAS SOPS 14260 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13192.26
AT ITER 10 NEW BEST:: SOT 49690 SOS 14065 HAS SOPS 14065 HAS SOUS 13141 HAS SOUPS 13141 WITH SCORE 13155.065
AT ITER 31 NEW BEST:: SOT 49690 SOS 14063 HAS SOPS 14063 HAS SOUS 13139 HAS SOUPS 13139 WITH SCORE 13153.063
AT ITER 35 NEW BEST:: SOT 49690 SOS 14060 HAS SOPS 14060 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13150.06
AT ITER 40 NEW BEST:: SOT 49679 SOS 14085 HAS SOPS 14085 HAS SOUS 13125 HAS SOUPS 13125 WITH SCORE 13139.085
AT ITER 72 NEW BEST:: SOT 49690 SOS 14006 HAS SOPS 14006 HAS SOUS 13115 HAS SOUPS 13115 WITH SCORE 13129.006
AT ITER 73 NEW BEST:: SOT 49690 SOS 14005 HAS SOPS 14005 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13128.005
AT ITER 74 NEW BEST:: SOT 49690 SOS 14001 HAS SOPS 14001 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13124.001
AT ITER 87 NEW BEST:: SOT 49673 SOS 13984 HAS SOPS 13984 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13106.984
AT ITER 89 NEW BEST:: SOT 49648 SOS 13949 HAS SOPS 13949 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13097.949
AT ITER 92 NEW BEST:: SOT 49621 SOS 13868 HAS SOPS 13868 HAS SOUS 13030 HAS SOUPS 13030 WITH SCORE 13043.868
AT ITER 100 NEW BEST:: SOT 49617 SOS 13856 HAS SOPS 13856 HAS SOUS 13022 HAS SOUPS 13022 WITH SCORE 13035.856
AT ITER 101 NEW BEST:: SOT 49608 SOS 13853 HAS SOPS 13853 HAS SOUS 13019 HAS SOUPS 13019 WITH SCORE 13032.853
AT ITER 124 NEW BEST:: SOT 49589 SOS 13810 HAS SOPS 13810 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 12989.81
AT ITER 137 NEW BEST:: SOT 49577 SOS 13796 HAS SOPS 13796 HAS SOUS 12964 HAS SOUPS 12964 WITH SCORE 12977.796
AT ITER 156 NEW BEST:: SOT 49681 SOS 13894 HAS SOPS 13894 HAS SOUS 12957 HAS SOUPS 12957 WITH SCORE 12970.894
AT ITER 170 NEW BEST:: SOT 49681 SOS 13894 HAS SOPS 13894 HAS SOUS 12954 HAS SOUPS 12954 WITH SCORE 12967.894
AT ITER 182 NEW BEST:: SOT 49681 SOS 13880 HAS SOPS 13880 HAS SOUS 12954 HAS SOUPS 12954 WITH SCORE 12967.88
AT ITER 202 NEW BEST:: SOT 49681 SOS 13838 HAS SOPS 13838 HAS SOUS 12912 HAS SOUPS 12912 WITH SCORE 12925.838
AT ITER 206 NEW BEST:: SOT 49681 SOS 13829 HAS SOPS 13829 HAS SOUS 12903 HAS SOUPS 12903 WITH SCORE 12916.829
AT ITER 222 NEW BEST:: SOT 49681 SOS 13800 HAS SOPS 13800 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12887.8
AT ITER 258 NEW BEST:: SOT 49670 SOS 13778 HAS SOPS 13778 HAS SOUS 12805 HAS SOUPS 12805 WITH SCORE 12818.778
AT ITER 264 NEW BEST:: SOT 49627 SOS 13768 HAS SOPS 13768 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12787.768
AT ITER 276 NEW BEST:: SOT 49603 SOS 13744 HAS SOPS 13744 HAS SOUS 12750 HAS SOUPS 12750 WITH SCORE 12763.744
AT ITER 306 NEW BEST:: SOT 49603 SOS 13743 HAS SOPS 13743 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12736.743
AT ITER 313 NEW BEST:: SOT 49603 SOS 13727 HAS SOPS 13727 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12736.727
AT ITER 326 NEW BEST:: SOT 49605 SOS 13689 HAS SOPS 13689 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12696.689
AT ITER 342 NEW BEST:: SOT 49549 SOS 13703 HAS SOPS 13703 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12695.703
AT ITER 352 NEW BEST:: SOT 49541 SOS 13698 HAS SOPS 13698 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12690.698
AT ITER 354 NEW BEST:: SOT 49456 SOS 13670 HAS SOPS 13670 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12652.67
AT ITER 368 NEW BEST:: SOT 49385 SOS 13532 HAS SOPS 13532 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12544.532
AT ITER 369 NEW BEST:: SOT 49383 SOS 13536 HAS SOPS 13536 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12542.536
AT ITER 386 NEW BEST:: SOT 49383 SOS 13527 HAS SOPS 13527 HAS SOUS 12529 HAS SOUPS 12529 WITH SCORE 12542.527
AT ITER 394 NEW BEST:: SOT 49368 SOS 13496 HAS SOPS 13496 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12527.496
AT ITER 396 NEW BEST:: SOT 49366 SOS 13493 HAS SOPS 13493 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12524.493
AT ITER 404 NEW BEST:: SOT 49366 SOS 13485 HAS SOPS 13485 HAS SOUS 12509 HAS SOUPS 12509 WITH SCORE 12522.485
AT ITER 409 NEW BEST:: SOT 49354 SOS 13462 HAS SOPS 13462 HAS SOUS 12486 HAS SOUPS 12486 WITH SCORE 12499.462
AT ITER 414 NEW BEST:: SOT 49361 SOS 13493 HAS SOPS 13493 HAS SOUS 12469 HAS SOUPS 12469 WITH SCORE 12482.493
AT ITER 419 NEW BEST:: SOT 49349 SOS 13457 HAS SOPS 13457 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12458.457
AT ITER 467 NEW BEST:: SOT 49342 SOS 13450 HAS SOPS 13450 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12451.45
AT ITER 470 NEW BEST:: SOT 49331 SOS 13450 HAS SOPS 13450 HAS SOUS 12427 HAS SOUPS 12427 WITH SCORE 12440.45
AT ITER 474 NEW BEST:: SOT 49317 SOS 13451 HAS SOPS 13451 HAS SOUS 12414 HAS SOUPS 12414 WITH SCORE 12427.451
AT ITER 487 NEW BEST:: SOT 49305 SOS 13439 HAS SOPS 13439 HAS SOUS 12402 HAS SOUPS 12402 WITH SCORE 12415.439
AT ITER 501 NEW BEST:: SOT 49284 SOS 13345 HAS SOPS 13345 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12392.345
AT ITER 507 NEW BEST:: SOT 49275 SOS 13332 HAS SOPS 13332 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12379.332
AT ITER 515 NEW BEST:: SOT 49275 SOS 13311 HAS SOPS 13311 HAS SOUS 12345 HAS SOUPS 12345 WITH SCORE 12358.311
AT ITER 538 NEW BEST:: SOT 49229 SOS 13262 HAS SOPS 13262 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12309.262
AT ITER 543 NEW BEST:: SOT 49226 SOS 13256 HAS SOPS 13256 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12250.256
AT ITER 558 NEW BEST:: SOT 49200 SOS 13204 HAS SOPS 13204 HAS SOUS 12210 HAS SOUPS 12210 WITH SCORE 12223.204
AT ITER 560 NEW BEST:: SOT 49105 SOS 13070 HAS SOPS 13070 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12127.07
AT ITER 565 NEW BEST:: SOT 49092 SOS 13063 HAS SOPS 13063 HAS SOUS 12109 HAS SOUPS 12109 WITH SCORE 12122.063
AT ITER 575 NEW BEST:: SOT 49110 SOS 13045 HAS SOPS 13045 HAS SOUS 12109 HAS SOUPS 12109 WITH SCORE 12122.045
AT ITER 614 NEW BEST:: SOT 49108 SOS 13038 HAS SOPS 13038 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12115.038
AT ITER 618 NEW BEST:: SOT 49093 SOS 12970 HAS SOPS 12970 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12073.97
AT ITER 633 NEW BEST:: SOT 49065 SOS 12936 HAS SOPS 12936 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12025.936
AT ITER 651 NEW BEST:: SOT 49050 SOS 12924 HAS SOPS 12924 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12013.924
AT ITER 657 NEW BEST:: SOT 49059 SOS 12906 HAS SOPS 12906 HAS SOUS 11986 HAS SOUPS 11986 WITH SCORE 11998.906
AT ITER 659 NEW BEST:: SOT 49058 SOS 12903 HAS SOPS 12903 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 11996.903
AT ITER 731 NEW BEST:: SOT 49048 SOS 12900 HAS SOPS 12900 HAS SOUS 11978 HAS SOUPS 11978 WITH SCORE 11990.9
AT ITER 738 NEW BEST:: SOT 49002 SOS 12732 HAS SOPS 12732 HAS SOUS 11856 HAS SOUPS 11856 WITH SCORE 11868.732
AT ITER 744 NEW BEST:: SOT 49001 SOS 12714 HAS SOPS 12714 HAS SOUS 11846 HAS SOUPS 11846 WITH SCORE 11858.714
AT ITER 767 NEW BEST:: SOT 48945 SOS 12701 HAS SOPS 12701 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11845.701
AT ITER 807 NEW BEST:: SOT 48944 SOS 12699 HAS SOPS 12699 HAS SOUS 11831 HAS SOUPS 11831 WITH SCORE 11843.699
AT ITER 847 NEW BEST:: SOT 48943 SOS 12691 HAS SOPS 12691 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11841.691
AT ITER 887 NEW BEST:: SOT 48864 SOS 12618 HAS SOPS 12618 HAS SOUS 11759 HAS SOUPS 11759 WITH SCORE 11771.618
AT ITER 898 NEW BEST:: SOT 48864 SOS 12603 HAS SOPS 12603 HAS SOUS 11744 HAS SOUPS 11744 WITH SCORE 11756.603
AT ITER 912 NEW BEST:: SOT 48877 SOS 12560 HAS SOPS 12560 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11744.56
AT ITER 917 NEW BEST:: SOT 48877 SOS 12559 HAS SOPS 12559 HAS SOUS 11731 HAS SOUPS 11731 WITH SCORE 11743.559
AT ITER 926 NEW BEST:: SOT 48947 SOS 12528 HAS SOPS 12528 HAS SOUS 11728 HAS SOUPS 11728 WITH SCORE 11740.528
AT ITER 932 NEW BEST:: SOT 48955 SOS 12536 HAS SOPS 12536 HAS SOUS 11707 HAS SOUPS 11707 WITH SCORE 11719.536
AT ITER 948 NEW BEST:: SOT 48969 SOS 12517 HAS SOPS 12517 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11700.517
AT ITER 952 NEW BEST:: SOT 48986 SOS 12621 HAS SOPS 12621 HAS SOUS 11674 HAS SOUPS 11674 WITH SCORE 11686.621
AT ITER 956 NEW BEST:: SOT 48986 SOS 12578 HAS SOPS 12578 HAS SOUS 11631 HAS SOUPS 11631 WITH SCORE 11643.578
AT ITER 1002 NEW BEST:: SOT 48988 SOS 12574 HAS SOPS 12574 HAS SOUS 11627 HAS SOUPS 11627 WITH SCORE 11639.574
AT ITER 1003 NEW BEST:: SOT 48970 SOS 12556 HAS SOPS 12556 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11621.556
AT ITER 1007 NEW BEST:: SOT 48943 SOS 12557 HAS SOPS 12557 HAS SOUS 11573 HAS SOUPS 11573 WITH SCORE 11585.557
AT ITER 1038 NEW BEST:: SOT 48943 SOS 12555 HAS SOPS 12555 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11583.555
AT ITER 1076 NEW BEST:: SOT 48943 SOS 12542 HAS SOPS 12542 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11583.542
AT ITER 1082 NEW BEST:: SOT 48952 SOS 12533 HAS SOPS 12533 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11574.533
AT ITER 1095 NEW BEST:: SOT 48919 SOS 12546 HAS SOPS 12546 HAS SOUS 11542 HAS SOUPS 11542 WITH SCORE 11554.546
AT ITER 1120 NEW BEST:: SOT 48906 SOS 12527 HAS SOPS 12527 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11533.527
AT ITER 1141 NEW BEST:: SOT 48899 SOS 12520 HAS SOPS 12520 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11526.52
AT ITER 1145 NEW BEST:: SOT 48858 SOS 12540 HAS SOPS 12540 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11519.54
AT ITER 1154 NEW BEST:: SOT 48875 SOS 12502 HAS SOPS 12502 HAS SOUS 11496 HAS SOUPS 11496 WITH SCORE 11508.502
AT ITER 1193 NEW BEST:: SOT 48864 SOS 12454 HAS SOPS 12454 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11471.454
AT ITER 1204 NEW BEST:: SOT 48858 SOS 12464 HAS SOPS 12464 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11467.464
AT ITER 1216 NEW BEST:: SOT 48861 SOS 12439 HAS SOPS 12439 HAS SOUS 11430 HAS SOUPS 11430 WITH SCORE 11442.439
AT ITER 1262 NEW BEST:: SOT 48861 SOS 12434 HAS SOPS 12434 HAS SOUS 11425 HAS SOUPS 11425 WITH SCORE 11437.434
AT ITER 1280 NEW BEST:: SOT 48862 SOS 12453 HAS SOPS 12453 HAS SOUS 11415 HAS SOUPS 11415 WITH SCORE 11427.453
AT ITER 1315 NEW BEST:: SOT 48809 SOS 12367 HAS SOPS 12367 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11354.367
AT ITER 1318 NEW BEST:: SOT 48809 SOS 12361 HAS SOPS 12361 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11348.361
AT ITER 1340 NEW BEST:: SOT 48775 SOS 12214 HAS SOPS 12214 HAS SOUS 11268 HAS SOUPS 11268 WITH SCORE 11280.214
AT ITER 1347 NEW BEST:: SOT 48769 SOS 12190 HAS SOPS 12190 HAS SOUS 11250 HAS SOUPS 11250 WITH SCORE 11262.19
AT ITER 1362 NEW BEST:: SOT 48784 SOS 12202 HAS SOPS 12202 HAS SOUS 11247 HAS SOUPS 11247 WITH SCORE 11259.202
AT ITER 1363 NEW BEST:: SOT 48784 SOS 12189 HAS SOPS 12189 HAS SOUS 11234 HAS SOUPS 11234 WITH SCORE 11246.189
AT ITER 1369 NEW BEST:: SOT 48789 SOS 12194 HAS SOPS 12194 HAS SOUS 11233 HAS SOUPS 11233 WITH SCORE 11245.194
AT ITER 1375 NEW BEST:: SOT 48796 SOS 12190 HAS SOPS 12190 HAS SOUS 11230 HAS SOUPS 11230 WITH SCORE 11242.19
AT ITER 1426 NEW BEST:: SOT 48792 SOS 12205 HAS SOPS 12205 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11238.205
AT ITER 1478 NEW BEST:: SOT 48792 SOS 12204 HAS SOPS 12204 HAS SOUS 11225 HAS SOUPS 11225 WITH SCORE 11237.204
AT ITER 1481 NEW BEST:: SOT 48792 SOS 12211 HAS SOPS 12211 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11221.211
AT ITER 1489 NEW BEST:: SOT 48781 SOS 12173 HAS SOPS 12173 HAS SOUS 11198 HAS SOUPS 11198 WITH SCORE 11210.173
AT ITER 1521 NEW BEST:: SOT 48766 SOS 12173 HAS SOPS 12173 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11195.173
AT ITER 1532 NEW BEST:: SOT 48756 SOS 12129 HAS SOPS 12129 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11151.129
AT ITER 1551 NEW BEST:: SOT 48756 SOS 12131 HAS SOPS 12131 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11145.131
AT ITER 1595 NEW BEST:: SOT 48756 SOS 12124 HAS SOPS 12124 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11138.124
AT ITER 1597 NEW BEST:: SOT 48756 SOS 12103 HAS SOPS 12103 HAS SOUS 11118 HAS SOUPS 11118 WITH SCORE 11130.103
AT ITER 1619 NEW BEST:: SOT 48756 SOS 12090 HAS SOPS 12090 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11117.09
AT ITER 1675 NEW BEST:: SOT 48742 SOS 12092 HAS SOPS 12092 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11113.092
AT ITER 1680 NEW BEST:: SOT 48746 SOS 12080 HAS SOPS 12080 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11097.08
AT ITER 1689 NEW BEST:: SOT 48738 SOS 12022 HAS SOPS 12022 HAS SOUS 11051 HAS SOUPS 11051 WITH SCORE 11063.022
AT ITER 1698 NEW BEST:: SOT 48738 SOS 12018 HAS SOPS 12018 HAS SOUS 11051 HAS SOUPS 11051 WITH SCORE 11063.018
AT ITER 1714 NEW BEST:: SOT 48735 SOS 12017 HAS SOPS 12017 HAS SOUS 11043 HAS SOUPS 11043 WITH SCORE 11055.017
AT ITER 1715 NEW BEST:: SOT 48740 SOS 12008 HAS SOPS 12008 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11046.008
AT ITER 1741 NEW BEST:: SOT 48740 SOS 12002 HAS SOPS 12002 HAS SOUS 11033 HAS SOUPS 11033 WITH SCORE 11045.002
AT ITER 1745 NEW BEST:: SOT 48726 SOS 11987 HAS SOPS 11987 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11029.987
AT ITER 1875 NEW BEST:: SOT 48724 SOS 11981 HAS SOPS 11981 HAS SOUS 11012 HAS SOUPS 11012 WITH SCORE 11023.981
AT ITER 1882 NEW BEST:: SOT 48717 SOS 11967 HAS SOPS 11967 HAS SOUS 11005 HAS SOUPS 11005 WITH SCORE 11016.967
AT ITER 1895 NEW BEST:: SOT 48717 SOS 11962 HAS SOPS 11962 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10971.962
AT ITER 1924 NEW BEST:: SOT 48717 SOS 11958 HAS SOPS 11958 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10971.958
AT ITER 1927 NEW BEST:: SOT 48718 SOS 11951 HAS SOPS 11951 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10969.951
AT ITER 1934 NEW BEST:: SOT 48714 SOS 11961 HAS SOPS 11961 HAS SOUS 10956 HAS SOUPS 10956 WITH SCORE 10967.961
AT ITER 1950 NEW BEST:: SOT 48689 SOS 11947 HAS SOPS 11947 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10953.947
AT ITER 1968 NEW BEST:: SOT 48693 SOS 11946 HAS SOPS 11946 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10952.946
AT ITER 1970 NEW BEST:: SOT 48690 SOS 11954 HAS SOPS 11954 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10949.954
AT ITER 1971 NEW BEST:: SOT 48710 SOS 11939 HAS SOPS 11939 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10949.939
AT ITER 1972 NEW BEST:: SOT 48703 SOS 11932 HAS SOPS 11932 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10942.932
AT ITER 2006 NEW BEST:: SOT 48703 SOS 11916 HAS SOPS 11916 HAS SOUS 10930 HAS SOUPS 10930 WITH SCORE 10941.916
AT ITER 2032 NEW BEST:: SOT 48702 SOS 11910 HAS SOPS 11910 HAS SOUS 10924 HAS SOUPS 10924 WITH SCORE 10935.91
AT ITER 2046 NEW BEST:: SOT 48688 SOS 11896 HAS SOPS 11896 HAS SOUS 10910 HAS SOUPS 10910 WITH SCORE 10921.896
AT ITER 2050 NEW BEST:: SOT 48664 SOS 11898 HAS SOPS 11898 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10916.898
AT ITER 2084 NEW BEST:: SOT 48651 SOS 11906 HAS SOPS 11906 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10907.906
AT ITER 2099 NEW BEST:: SOT 48616 SOS 11867 HAS SOPS 11867 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10856.867
AT ITER 2130 NEW BEST:: SOT 48607 SOS 11849 HAS SOPS 11849 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10838.849
AT ITER 2131 NEW BEST:: SOT 48607 SOS 11837 HAS SOPS 11837 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10821.837
AT ITER 2146 NEW BEST:: SOT 48607 SOS 11855 HAS SOPS 11855 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10800.855
AT ITER 2166 NEW BEST:: SOT 48612 SOS 11849 HAS SOPS 11849 HAS SOUS 10783 HAS SOUPS 10783 WITH SCORE 10794.849
AT ITER 2201 NEW BEST:: SOT 48609 SOS 11841 HAS SOPS 11841 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10788.841
AT ITER 2207 NEW BEST:: SOT 48601 SOS 11784 HAS SOPS 11784 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10727.784
AT ITER 2235 NEW BEST:: SOT 48601 SOS 11783 HAS SOPS 11783 HAS SOUS 10715 HAS SOUPS 10715 WITH SCORE 10726.783
AT ITER 2237 NEW BEST:: SOT 48599 SOS 11780 HAS SOPS 11780 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10725.78
AT ITER 2260 NEW BEST:: SOT 48608 SOS 11807 HAS SOPS 11807 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10724.807
AT ITER 2325 NEW BEST:: SOT 48603 SOS 11787 HAS SOPS 11787 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10719.787
AT ITER 2337 NEW BEST:: SOT 48596 SOS 11773 HAS SOPS 11773 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10712.773
AT ITER 2350 NEW BEST:: SOT 48591 SOS 11768 HAS SOPS 11768 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10707.768
AT ITER 2362 NEW BEST:: SOT 48588 SOS 11765 HAS SOPS 11765 HAS SOUS 10693 HAS SOUPS 10693 WITH SCORE 10704.765
AT ITER 2363 NEW BEST:: SOT 48592 SOS 11757 HAS SOPS 11757 HAS SOUS 10690 HAS SOUPS 10690 WITH SCORE 10701.757
AT ITER 2368 NEW BEST:: SOT 48592 SOS 11752 HAS SOPS 11752 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10696.752
AT ITER 2384 NEW BEST:: SOT 48584 SOS 11736 HAS SOPS 11736 HAS SOUS 10677 HAS SOUPS 10677 WITH SCORE 10688.736
AT ITER 2432 NEW BEST:: SOT 48538 SOS 11699 HAS SOPS 11699 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10651.699
AT ITER 2438 NEW BEST:: SOT 48587 SOS 11752 HAS SOPS 11752 HAS SOUS 10639 HAS SOUPS 10639 WITH SCORE 10650.752
AT ITER 2472 NEW BEST:: SOT 48575 SOS 11728 HAS SOPS 11728 HAS SOUS 10627 HAS SOUPS 10627 WITH SCORE 10638.728
AT ITER 2501 NEW BEST:: SOT 48568 SOS 11700 HAS SOPS 11700 HAS SOUS 10616 HAS SOUPS 10616 WITH SCORE 10627.7
AT ITER 2508 NEW BEST:: SOT 48565 SOS 11694 HAS SOPS 11694 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10621.694
AT ITER 2543 NEW BEST:: SOT 48565 SOS 11694 HAS SOPS 11694 HAS SOUS 10608 HAS SOUPS 10608 WITH SCORE 10619.694
AT ITER 2553 NEW BEST:: SOT 48561 SOS 11686 HAS SOPS 11686 HAS SOUS 10600 HAS SOUPS 10600 WITH SCORE 10611.686
AT ITER 2602 NEW BEST:: SOT 48582 SOS 11707 HAS SOPS 11707 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10610.707
AT ITER 2702 NEW BEST:: SOT 48574 SOS 11689 HAS SOPS 11689 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10597.689
AT ITER 2704 NEW BEST:: SOT 48546 SOS 11615 HAS SOPS 11615 HAS SOUS 10512 HAS SOUPS 10512 WITH SCORE 10523.615
AT ITER 2721 NEW BEST:: SOT 48555 SOS 11591 HAS SOPS 11591 HAS SOUS 10488 HAS SOUPS 10488 WITH SCORE 10499.591
AT ITER 2725 NEW BEST:: SOT 48555 SOS 11583 HAS SOPS 11583 HAS SOUS 10480 HAS SOUPS 10480 WITH SCORE 10491.583
AT ITER 2752 NEW BEST:: SOT 48555 SOS 11583 HAS SOPS 11583 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10488.583
AT ITER 2784 NEW BEST:: SOT 48547 SOS 11583 HAS SOPS 11583 HAS SOUS 10469 HAS SOUPS 10469 WITH SCORE 10480.583
AT ITER 2812 NEW BEST:: SOT 48547 SOS 11576 HAS SOPS 11576 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10473.576
AT ITER 2818 NEW BEST:: SOT 48536 SOS 11554 HAS SOPS 11554 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10462.554
AT ITER 2834 NEW BEST:: SOT 48536 SOS 11548 HAS SOPS 11548 HAS SOUS 10445 HAS SOUPS 10445 WITH SCORE 10456.548
AT ITER 2854 NEW BEST:: SOT 48538 SOS 11543 HAS SOPS 11543 HAS SOUS 10443 HAS SOUPS 10443 WITH SCORE 10454.543
AT ITER 2876 NEW BEST:: SOT 48559 SOS 11579 HAS SOPS 11579 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10448.579
AT ITER 2877 NEW BEST:: SOT 48559 SOS 11573 HAS SOPS 11573 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10445.573
AT ITER 2885 NEW BEST:: SOT 48538 SOS 11580 HAS SOPS 11580 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10428.58
AT ITER 2925 NEW BEST:: SOT 48537 SOS 11578 HAS SOPS 11578 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10426.578
AT ITER 2930 NEW BEST:: SOT 48544 SOS 11615 HAS SOPS 11615 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10419.615
AT ITER 2931 NEW BEST:: SOT 48539 SOS 11610 HAS SOPS 11610 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10414.61
AT ITER 2940 NEW BEST:: SOT 48539 SOS 11594 HAS SOPS 11594 HAS SOUS 10396 HAS SOUPS 10396 WITH SCORE 10407.594
AT ITER 2979 NEW BEST:: SOT 48539 SOS 11562 HAS SOPS 11562 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10397.562
AT ITER 3021 NEW BEST:: SOT 48539 SOS 11562 HAS SOPS 11562 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10396.562
AT ITER 3022 NEW BEST:: SOT 48539 SOS 11549 HAS SOPS 11549 HAS SOUS 10372 HAS SOUPS 10372 WITH SCORE 10383.549
AT ITER 3061 NEW BEST:: SOT 48539 SOS 11549 HAS SOPS 11549 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10377.549
AT ITER 3086 NEW BEST:: SOT 48547 SOS 11547 HAS SOPS 11547 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10375.547
AT ITER 3089 NEW BEST:: SOT 48543 SOS 11539 HAS SOPS 11539 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10369.539
AT ITER 3102 NEW BEST:: SOT 48542 SOS 11537 HAS SOPS 11537 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10367.537
AT ITER 3104 NEW BEST:: SOT 48538 SOS 11529 HAS SOPS 11529 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10359.529
AT ITER 3122 NEW BEST:: SOT 48533 SOS 11519 HAS SOPS 11519 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10349.519
AT ITER 3190 NEW BEST:: SOT 48530 SOS 11516 HAS SOPS 11516 HAS SOUS 10335 HAS SOUPS 10335 WITH SCORE 10346.516
AT ITER 3208 NEW BEST:: SOT 48521 SOS 11507 HAS SOPS 11507 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10337.507
AT ITER 3209 NEW BEST:: SOT 48516 SOS 11500 HAS SOPS 11500 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10330.5
AT ITER 3210 NEW BEST:: SOT 48516 SOS 11498 HAS SOPS 11498 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10326.498
AT ITER 3213 NEW BEST:: SOT 48515 SOS 11497 HAS SOPS 11497 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10325.497
AT ITER 3237 NEW BEST:: SOT 48518 SOS 11494 HAS SOPS 11494 HAS SOUS 10311 HAS SOUPS 10311 WITH SCORE 10322.494
AT ITER 3262 NEW BEST:: SOT 48516 SOS 11451 HAS SOPS 11451 HAS SOUS 10270 HAS SOUPS 10270 WITH SCORE 10281.451
AT ITER 3266 NEW BEST:: SOT 48522 SOS 11482 HAS SOPS 11482 HAS SOUS 10267 HAS SOUPS 10267 WITH SCORE 10278.482
AT ITER 3276 NEW BEST:: SOT 48512 SOS 11459 HAS SOPS 11459 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10255.459
AT ITER 3277 NEW BEST:: SOT 48512 SOS 11450 HAS SOPS 11450 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10246.45
AT ITER 3284 NEW BEST:: SOT 48504 SOS 11442 HAS SOPS 11442 HAS SOUS 10235 HAS SOUPS 10235 WITH SCORE 10246.442
AT ITER 3286 NEW BEST:: SOT 48504 SOS 11371 HAS SOPS 11371 HAS SOUS 10199 HAS SOUPS 10199 WITH SCORE 10210.371
AT ITER 3324 NEW BEST:: SOT 48504 SOS 11369 HAS SOPS 11369 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10208.369
AT ITER 3368 NEW BEST:: SOT 48539 SOS 11323 HAS SOPS 11323 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10197.323
AT ITER 3371 NEW BEST:: SOT 48536 SOS 11317 HAS SOPS 11317 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10195.317
AT ITER 3374 NEW BEST:: SOT 48512 SOS 11269 HAS SOPS 11269 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10145.269
AT ITER 3420 NEW BEST:: SOT 48515 SOS 11261 HAS SOPS 11261 HAS SOUS 10133 HAS SOUPS 10133 WITH SCORE 10144.261
AT ITER 3448 NEW BEST:: SOT 48521 SOS 11241 HAS SOPS 11241 HAS SOUS 10113 HAS SOUPS 10113 WITH SCORE 10124.241
AT ITER 3474 NEW BEST:: SOT 48520 SOS 11228 HAS SOPS 11228 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10120.228
AT ITER 3500 NEW BEST:: SOT 48519 SOS 11204 HAS SOPS 11204 HAS SOUS 10085 HAS SOUPS 10085 WITH SCORE 10096.204
AT ITER 3513 NEW BEST:: SOT 48516 SOS 11198 HAS SOPS 11198 HAS SOUS 10079 HAS SOUPS 10079 WITH SCORE 10090.198
AT ITER 3520 NEW BEST:: SOT 48516 SOS 11196 HAS SOPS 11196 HAS SOUS 10077 HAS SOUPS 10077 WITH SCORE 10088.196
AT ITER 3536 NEW BEST:: SOT 48500 SOS 11197 HAS SOPS 11197 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10070.197
AT ITER 3546 NEW BEST:: SOT 48501 SOS 11183 HAS SOPS 11183 HAS SOUS 10055 HAS SOUPS 10055 WITH SCORE 10066.183
AT ITER 3559 NEW BEST:: SOT 48515 SOS 11181 HAS SOPS 11181 HAS SOUS 10053 HAS SOUPS 10053 WITH SCORE 10064.181
AT ITER 3566 NEW BEST:: SOT 48507 SOS 11167 HAS SOPS 11167 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10050.167
AT ITER 3574 NEW BEST:: SOT 48507 SOS 11172 HAS SOPS 11172 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10045.172
AT ITER 3582 NEW BEST:: SOT 48505 SOS 11168 HAS SOPS 11168 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10041.168
AT ITER 3587 NEW BEST:: SOT 48524 SOS 11180 HAS SOPS 11180 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10033.18
AT ITER 3591 NEW BEST:: SOT 48518 SOS 11168 HAS SOPS 11168 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10027.168
AT ITER 3596 NEW BEST:: SOT 48517 SOS 11163 HAS SOPS 11163 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10026.163
AT ITER 3682 NEW BEST:: SOT 48517 SOS 11160 HAS SOPS 11160 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10026.16
AT ITER 3724 NEW BEST:: SOT 48502 SOS 11137 HAS SOPS 11137 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10003.137
AT ITER 3729 NEW BEST:: SOT 48494 SOS 11092 HAS SOPS 11092 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9967.092
AT ITER 3736 NEW BEST:: SOT 48494 SOS 11070 HAS SOPS 11070 HAS SOUS 9945 HAS SOUPS 9945 WITH SCORE 9956.07
AT ITER 3767 NEW BEST:: SOT 48492 SOS 11066 HAS SOPS 11066 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9952.066
AT ITER 3769 NEW BEST:: SOT 48489 SOS 11023 HAS SOPS 11023 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9909.023
AT ITER 3773 NEW BEST:: SOT 48488 SOS 11020 HAS SOPS 11020 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9907.02
AT ITER 3795 NEW BEST:: SOT 48499 SOS 11005 HAS SOPS 11005 HAS SOUS 9895 HAS SOUPS 9895 WITH SCORE 9906.005
AT ITER 3807 NEW BEST:: SOT 48508 SOS 10992 HAS SOPS 10992 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9903.992
AT ITER 3864 NEW BEST:: SOT 48508 SOS 10998 HAS SOPS 10998 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9897.998
AT ITER 3918 NEW BEST:: SOT 48508 SOS 10994 HAS SOPS 10994 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9893.994
AT ITER 3933 NEW BEST:: SOT 48502 SOS 10986 HAS SOPS 10986 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9891.986
AT ITER 3976 NEW BEST:: SOT 48521 SOS 10991 HAS SOPS 10991 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9886.991
AT ITER 4082 NEW BEST:: SOT 48521 SOS 10988 HAS SOPS 10988 HAS SOUS 9873 HAS SOUPS 9873 WITH SCORE 9883.988
AT ITER 4105 NEW BEST:: SOT 48521 SOS 10982 HAS SOPS 10982 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9877.982
AT ITER 4142 NEW BEST:: SOT 48521 SOS 10973 HAS SOPS 10973 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9877.973
AT ITER 4213 NEW BEST:: SOT 48520 SOS 10972 HAS SOPS 10972 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9876.972
AT ITER 4236 NEW BEST:: SOT 48516 SOS 10953 HAS SOPS 10953 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9872.953
AT ITER 4260 NEW BEST:: SOT 48516 SOS 10943 HAS SOPS 10943 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9862.943
AT ITER 4274 NEW BEST:: SOT 48524 SOS 10965 HAS SOPS 10965 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9850.965
AT ITER 4287 NEW BEST:: SOT 48522 SOS 10961 HAS SOPS 10961 HAS SOUS 9836 HAS SOUPS 9836 WITH SCORE 9846.961
AT ITER 4295 NEW BEST:: SOT 48520 SOS 10957 HAS SOPS 10957 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9842.957
AT ITER 4302 NEW BEST:: SOT 48534 SOS 10935 HAS SOPS 10935 HAS SOUS 9830 HAS SOUPS 9830 WITH SCORE 9840.935
AT ITER 4330 NEW BEST:: SOT 48526 SOS 10924 HAS SOPS 10924 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9829.924
AT ITER 4417 NEW BEST:: SOT 48526 SOS 10919 HAS SOPS 10919 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9824.919
AT ITER 4450 NEW BEST:: SOT 48526 SOS 10918 HAS SOPS 10918 HAS SOUS 9813 HAS SOUPS 9813 WITH SCORE 9823.918
AT ITER 4500 NEW BEST:: SOT 48525 SOS 10907 HAS SOPS 10907 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9822.907
AT ITER 4529 NEW BEST:: SOT 48523 SOS 10900 HAS SOPS 10900 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9820.9
AT ITER 4559 NEW BEST:: SOT 48520 SOS 10888 HAS SOPS 10888 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9813.888
AT ITER 4644 NEW BEST:: SOT 48525 SOS 10867 HAS SOPS 10867 HAS SOUS 9794 HAS SOUPS 9794 WITH SCORE 9804.867
AT ITER 4716 NEW BEST:: SOT 48517 SOS 10855 HAS SOPS 10855 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9792.855
AT ITER 4735 NEW BEST:: SOT 48517 SOS 10851 HAS SOPS 10851 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9788.851
AT ITER 4759 NEW BEST:: SOT 48517 SOS 10846 HAS SOPS 10846 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.846
AT ITER 4812 NEW BEST:: SOT 48517 SOS 10838 HAS SOPS 10838 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9783.838
AT ITER 4813 NEW BEST:: SOT 48528 SOS 10854 HAS SOPS 10854 HAS SOUS 9767 HAS SOUPS 9767 WITH SCORE 9777.854
AT ITER 4832 NEW BEST:: SOT 48524 SOS 10851 HAS SOPS 10851 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9774.851
AT ITER 4840 NEW BEST:: SOT 48524 SOS 10850 HAS SOPS 10850 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9773.85
AT ITER 4937 NEW BEST:: SOT 48513 SOS 10821 HAS SOPS 10821 HAS SOUS 9745 HAS SOUPS 9745 WITH SCORE 9755.821
AT ITER 5019 NEW BEST:: SOT 48463 SOS 10774 HAS SOPS 10774 HAS SOUS 9744 HAS SOUPS 9744 WITH SCORE 9754.774
AT ITER 5034 NEW BEST:: SOT 48457 SOS 10761 HAS SOPS 10761 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9741.761
AT ITER 5036 NEW BEST:: SOT 48457 SOS 10755 HAS SOPS 10755 HAS SOUS 9725 HAS SOUPS 9725 WITH SCORE 9735.755
AT ITER 5157 NEW BEST:: SOT 48457 SOS 10753 HAS SOPS 10753 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9733.753
AT ITER 5322 NEW BEST:: SOT 48464 SOS 10778 HAS SOPS 10778 HAS SOUS 9721 HAS SOUPS 9721 WITH SCORE 9731.778
AT ITER 5475 NEW BEST:: SOT 48464 SOS 10778 HAS SOPS 10778 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9726.778
AT ITER 5587 NEW BEST:: SOT 48472 SOS 10745 HAS SOPS 10745 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9720.745
AT ITER 5588 NEW BEST:: SOT 48463 SOS 10727 HAS SOPS 10727 HAS SOUS 9688 HAS SOUPS 9688 WITH SCORE 9698.727
AT ITER 5677 NEW BEST:: SOT 48463 SOS 10689 HAS SOPS 10689 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9660.689
AT ITER 5697 NEW BEST:: SOT 48453 SOS 10669 HAS SOPS 10669 HAS SOUS 9640 HAS SOUPS 9640 WITH SCORE 9650.669
AT ITER 5791 NEW BEST:: SOT 48421 SOS 10638 HAS SOPS 10638 HAS SOUS 9609 HAS SOUPS 9609 WITH SCORE 9619.638
AT ITER 5807 NEW BEST:: SOT 48421 SOS 10620 HAS SOPS 10620 HAS SOUS 9598 HAS SOUPS 9598 WITH SCORE 9608.62
AT ITER 5824 NEW BEST:: SOT 48421 SOS 10620 HAS SOPS 10620 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9606.62
AT ITER 5846 NEW BEST:: SOT 48421 SOS 10619 HAS SOPS 10619 HAS SOUS 9596 HAS SOUPS 9596 WITH SCORE 9606.619
AT ITER 5857 NEW BEST:: SOT 48416 SOS 10614 HAS SOPS 10614 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9601.614
AT ITER 5860 NEW BEST:: SOT 48461 SOS 10631 HAS SOPS 10631 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9583.631
AT ITER 5896 NEW BEST:: SOT 48454 SOS 10625 HAS SOPS 10625 HAS SOUS 9559 HAS SOUPS 9559 WITH SCORE 9569.625
AT ITER 5915 NEW BEST:: SOT 48454 SOS 10614 HAS SOPS 10614 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9558.614
AT ITER 5985 NEW BEST:: SOT 48454 SOS 10603 HAS SOPS 10603 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9558.603
AT ITER 6004 NEW BEST:: SOT 48454 SOS 10600 HAS SOPS 10600 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9555.6
AT ITER 6060 NEW BEST:: SOT 48453 SOS 10598 HAS SOPS 10598 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9554.598
AT ITER 6300 NEW BEST:: SOT 48452 SOS 10596 HAS SOPS 10596 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9552.596
AT ITER 6304 NEW BEST:: SOT 48452 SOS 10594 HAS SOPS 10594 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9550.594
AT ITER 6332 NEW BEST:: SOT 48452 SOS 10594 HAS SOPS 10594 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9546.594
AT ITER 6371 NEW BEST:: SOT 48452 SOS 10593 HAS SOPS 10593 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9545.593
AT ITER 6377 NEW BEST:: SOT 48451 SOS 10598 HAS SOPS 10598 HAS SOUS 9533 HAS SOUPS 9533 WITH SCORE 9543.598
AT ITER 6391 NEW BEST:: SOT 48426 SOS 10588 HAS SOPS 10588 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9538.588
AT ITER 6399 NEW BEST:: SOT 48423 SOS 10587 HAS SOPS 10587 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9537.587
AT ITER 6402 NEW BEST:: SOT 48432 SOS 10586 HAS SOPS 10586 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9535.586
AT ITER 6576 NEW BEST:: SOT 48432 SOS 10582 HAS SOPS 10582 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9531.582
AT ITER 6595 NEW BEST:: SOT 48429 SOS 10576 HAS SOPS 10576 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9525.576
AT ITER 6599 NEW BEST:: SOT 48391 SOS 10527 HAS SOPS 10527 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9505.527
AT ITER 6609 NEW BEST:: SOT 48401 SOS 10519 HAS SOPS 10519 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9492.519
AT ITER 6759 NEW BEST:: SOT 48401 SOS 10518 HAS SOPS 10518 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9491.518
AT ITER 6788 NEW BEST:: SOT 48401 SOS 10516 HAS SOPS 10516 HAS SOUS 9481 HAS SOUPS 9481 WITH SCORE 9491.516
AT ITER 6802 NEW BEST:: SOT 48399 SOS 10516 HAS SOPS 10516 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9489.516
AT ITER 6848 NEW BEST:: SOT 48397 SOS 10499 HAS SOPS 10499 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9479.499
AT ITER 6855 NEW BEST:: SOT 48385 SOS 10491 HAS SOPS 10491 HAS SOUS 9457 HAS SOUPS 9457 WITH SCORE 9467.491
AT ITER 6962 NEW BEST:: SOT 48382 SOS 10488 HAS SOPS 10488 HAS SOUS 9454 HAS SOUPS 9454 WITH SCORE 9464.488
AT ITER 6970 NEW BEST:: SOT 48379 SOS 10441 HAS SOPS 10441 HAS SOUS 9451 HAS SOUPS 9451 WITH SCORE 9461.441
AT ITER 6993 NEW BEST:: SOT 48398 SOS 10462 HAS SOPS 10462 HAS SOUS 9448 HAS SOUPS 9448 WITH SCORE 9458.462
AT ITER 7026 NEW BEST:: SOT 48401 SOS 10459 HAS SOPS 10459 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9452.459
AT ITER 7048 NEW BEST:: SOT 48401 SOS 10458 HAS SOPS 10458 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9451.458
AT ITER 7111 NEW BEST:: SOT 48395 SOS 10436 HAS SOPS 10436 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9429.436
AT ITER 7113 NEW BEST:: SOT 48386 SOS 10427 HAS SOPS 10427 HAS SOUS 9410 HAS SOUPS 9410 WITH SCORE 9420.427
AT ITER 7118 NEW BEST:: SOT 48380 SOS 10415 HAS SOPS 10415 HAS SOUS 9404 HAS SOUPS 9404 WITH SCORE 9414.415
AT ITER 7173 NEW BEST:: SOT 48379 SOS 10413 HAS SOPS 10413 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9412.413
AT ITER 7193 NEW BEST:: SOT 48370 SOS 10395 HAS SOPS 10395 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9394.395
AT ITER 7197 NEW BEST:: SOT 48369 SOS 10393 HAS SOPS 10393 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9392.393
AT ITER 7202 NEW BEST:: SOT 48369 SOS 10389 HAS SOPS 10389 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9375.389
AT ITER 7232 NEW BEST:: SOT 48367 SOS 10387 HAS SOPS 10387 HAS SOUS 9363 HAS SOUPS 9363 WITH SCORE 9373.387
AT ITER 7247 NEW BEST:: SOT 48367 SOS 10378 HAS SOPS 10378 HAS SOUS 9354 HAS SOUPS 9354 WITH SCORE 9364.378
AT ITER 7261 NEW BEST:: SOT 48357 SOS 10358 HAS SOPS 10358 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9354.358
AT ITER 7523 NEW BEST:: SOT 48357 SOS 10357 HAS SOPS 10357 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9353.357
AT ITER 7526 NEW BEST:: SOT 48357 SOS 10355 HAS SOPS 10355 HAS SOUS 9341 HAS SOUPS 9341 WITH SCORE 9351.355
AT ITER 7646 NEW BEST:: SOT 48354 SOS 10327 HAS SOPS 10327 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9341.327
AT ITER 7684 NEW BEST:: SOT 48354 SOS 10298 HAS SOPS 10298 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9341.298
AT ITER 7697 NEW BEST:: SOT 48357 SOS 10294 HAS SOPS 10294 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9338.294
AT ITER 7735 NEW BEST:: SOT 48357 SOS 10287 HAS SOPS 10287 HAS SOUS 9321 HAS SOUPS 9321 WITH SCORE 9331.287
AT ITER 7744 NEW BEST:: SOT 48348 SOS 10273 HAS SOPS 10273 HAS SOUS 9318 HAS SOUPS 9318 WITH SCORE 9328.273
AT ITER 7842 NEW BEST:: SOT 48346 SOS 10271 HAS SOPS 10271 HAS SOUS 9318 HAS SOUPS 9318 WITH SCORE 9328.271
AT ITER 7861 NEW BEST:: SOT 48331 SOS 10258 HAS SOPS 10258 HAS SOUS 9305 HAS SOUPS 9305 WITH SCORE 9315.258
AT ITER 7927 NEW BEST:: SOT 48331 SOS 10251 HAS SOPS 10251 HAS SOUS 9305 HAS SOUPS 9305 WITH SCORE 9315.251
AT ITER 7939 NEW BEST:: SOT 48326 SOS 10242 HAS SOPS 10242 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9306.242
AT ITER 7997 NEW BEST:: SOT 48327 SOS 10237 HAS SOPS 10237 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9301.237
AT ITER 8047 NEW BEST:: SOT 48327 SOS 10257 HAS SOPS 10257 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9299.257
AT ITER 8126 NEW BEST:: SOT 48310 SOS 10239 HAS SOPS 10239 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9281.239
AT ITER 8131 NEW BEST:: SOT 48310 SOS 10228 HAS SOPS 10228 HAS SOUS 9260 HAS SOUPS 9260 WITH SCORE 9270.228
AT ITER 8155 NEW BEST:: SOT 48325 SOS 10258 HAS SOPS 10258 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9265.258
AT ITER 8185 NEW BEST:: SOT 48325 SOS 10253 HAS SOPS 10253 HAS SOUS 9251 HAS SOUPS 9251 WITH SCORE 9261.253
AT ITER 8189 NEW BEST:: SOT 48334 SOS 10261 HAS SOPS 10261 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9260.261
AT ITER 8203 NEW BEST:: SOT 48317 SOS 10197 HAS SOPS 10197 HAS SOUS 9242 HAS SOUPS 9242 WITH SCORE 9252.197
AT ITER 8227 NEW BEST:: SOT 48314 SOS 10191 HAS SOPS 10191 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9246.191
AT ITER 8291 NEW BEST:: SOT 48314 SOS 10190 HAS SOPS 10190 HAS SOUS 9235 HAS SOUPS 9235 WITH SCORE 9245.19
AT ITER 8328 NEW BEST:: SOT 48311 SOS 10188 HAS SOPS 10188 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9243.188
AT ITER 8421 NEW BEST:: SOT 48313 SOS 10183 HAS SOPS 10183 HAS SOUS 9228 HAS SOUPS 9228 WITH SCORE 9238.183
AT ITER 8447 NEW BEST:: SOT 48313 SOS 10182 HAS SOPS 10182 HAS SOUS 9227 HAS SOUPS 9227 WITH SCORE 9237.182
AT ITER 8523 NEW BEST:: SOT 48311 SOS 10178 HAS SOPS 10178 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9235.178
AT ITER 8594 NEW BEST:: SOT 48320 SOS 10177 HAS SOPS 10177 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9234.177
AT ITER 8681 NEW BEST:: SOT 48331 SOS 10176 HAS SOPS 10176 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9233.176
AT ITER 8741 NEW BEST:: SOT 48340 SOS 10175 HAS SOPS 10175 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9232.175
AT ITER 8797 NEW BEST:: SOT 48340 SOS 10174 HAS SOPS 10174 HAS SOUS 9221 HAS SOUPS 9221 WITH SCORE 9231.174
AT ITER 8894 NEW BEST:: SOT 48337 SOS 10171 HAS SOPS 10171 HAS SOUS 9221 HAS SOUPS 9221 WITH SCORE 9231.171
AT ITER 8964 NEW BEST:: SOT 48335 SOS 10167 HAS SOPS 10167 HAS SOUS 9217 HAS SOUPS 9217 WITH SCORE 9227.167
AT ITER 8981 NEW BEST:: SOT 48335 SOS 10157 HAS SOPS 10157 HAS SOUS 9217 HAS SOUPS 9217 WITH SCORE 9227.157
AT ITER 9017 NEW BEST:: SOT 48324 SOS 10135 HAS SOPS 10135 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9220.135
AT ITER 9064 NEW BEST:: SOT 48321 SOS 10129 HAS SOPS 10129 HAS SOUS 9204 HAS SOUPS 9204 WITH SCORE 9214.129
AT ITER 9078 NEW BEST:: SOT 48321 SOS 10131 HAS SOPS 10131 HAS SOUS 9198 HAS SOUPS 9198 WITH SCORE 9208.131
AT ITER 9086 NEW BEST:: SOT 48320 SOS 10119 HAS SOPS 10119 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9202.119
AT ITER 9127 NEW BEST:: SOT 48320 SOS 10118 HAS SOPS 10118 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9200.118
AT ITER 9208 NEW BEST:: SOT 48322 SOS 10092 HAS SOPS 10092 HAS SOUS 9181 HAS SOUPS 9181 WITH SCORE 9191.092
AT ITER 9295 NEW BEST:: SOT 48322 SOS 10091 HAS SOPS 10091 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9190.091
AT ITER 9321 NEW BEST:: SOT 48309 SOS 10078 HAS SOPS 10078 HAS SOUS 9161 HAS SOUPS 9161 WITH SCORE 9171.078
AT ITER 9451 NEW BEST:: SOT 48308 SOS 10075 HAS SOPS 10075 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9169.075
AT ITER 9527 NEW BEST:: SOT 48305 SOS 10069 HAS SOPS 10069 HAS SOUS 9153 HAS SOUPS 9153 WITH SCORE 9163.069
AT ITER 9562 NEW BEST:: SOT 48303 SOS 10062 HAS SOPS 10062 HAS SOUS 9146 HAS SOUPS 9146 WITH SCORE 9156.062
AT ITER 9602 NEW BEST:: SOT 48297 SOS 10055 HAS SOPS 10055 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9149.055
AT ITER 9674 NEW BEST:: SOT 48297 SOS 10009 HAS SOPS 10009 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9149.009
AT ITER 9679 NEW BEST:: SOT 48299 SOS 9988 HAS SOPS 9988 HAS SOUS 9118 HAS SOUPS 9118 WITH SCORE 9127.988
AT ITER 9681 NEW BEST:: SOT 48299 SOS 9964 HAS SOPS 9964 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9108.964
AT ITER 9701 NEW BEST:: SOT 48298 SOS 9962 HAS SOPS 9962 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9105.962
AT ITER 9763 NEW BEST:: SOT 48274 SOS 9924 HAS SOPS 9924 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9091.924
AT ITER 9769 NEW BEST:: SOT 48238 SOS 9916 HAS SOPS 9916 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9083.916
AT ITER 9801 NEW BEST:: SOT 48244 SOS 9898 HAS SOPS 9898 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9080.898
AT ITER 9840 NEW BEST:: SOT 48238 SOS 9898 HAS SOPS 9898 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9074.898
AT ITER 9885 NEW BEST:: SOT 48266 SOS 9931 HAS SOPS 9931 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9057.931
AT ITER 9908 NEW BEST:: SOT 48269 SOS 9928 HAS SOPS 9928 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9057.928
AT ITER 9963 NEW BEST:: SOT 48249 SOS 9906 HAS SOPS 9906 HAS SOUS 9047 HAS SOUPS 9047 WITH SCORE 9056.906
AT ITER 9975 NEW BEST:: SOT 48244 SOS 9901 HAS SOPS 9901 HAS SOUS 9042 HAS SOUPS 9042 WITH SCORE 9051.901

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldPPPt-PT-004B"
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 ShieldPPPt-PT-004B, 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-159033469700632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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