Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 748K
-rw-r--r-- 1 mcc users 8.7K Feb 25 22:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 25 22:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 22:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 22:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 22:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 22:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Feb 25 22:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 255K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679495473650

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Railroad-PT-020
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 020
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 218 places, 506 transitions, 2968 arcs.
AT ITER 0 NEW BEST:: SOT 41094 SOS 31526 HAS SOPS 31181 HAS SOUS 20840 HAS SOUPS 20819 WITH SCORE 20850.526
AT ITER 2 NEW BEST:: SOT 41094 SOS 31326 HAS SOPS 30981 HAS SOUS 20830 HAS SOUPS 20809 WITH SCORE 20840.326
AT ITER 23 NEW BEST:: SOT 41094 SOS 31325 HAS SOPS 30980 HAS SOUS 20829 HAS SOUPS 20808 WITH SCORE 20839.325
AT ITER 27 NEW BEST:: SOT 40185 SOS 31387 HAS SOPS 30071 HAS SOUS 19999 HAS SOUPS 19892 WITH SCORE 19923.387
AT ITER 36 NEW BEST:: SOT 40178 SOS 31380 HAS SOPS 30064 HAS SOUS 19992 HAS SOUPS 19885 WITH SCORE 19916.38
AT ITER 37 NEW BEST:: SOT 39865 SOS 30679 HAS SOPS 29192 HAS SOUS 19253 HAS SOUPS 19146 WITH SCORE 19176.679
AT ITER 43 NEW BEST:: SOT 39843 SOS 30657 HAS SOPS 29191 HAS SOUS 19252 HAS SOUPS 19145 WITH SCORE 19175.657
AT ITER 48 NEW BEST:: SOT 39865 SOS 30679 HAS SOPS 29177 HAS SOUS 19046 HAS SOUPS 18938 WITH SCORE 18968.679
AT ITER 52 NEW BEST:: SOT 39543 SOS 29925 HAS SOPS 28240 HAS SOUS 18287 HAS SOUPS 18179 WITH SCORE 18208.925
AT ITER 56 NEW BEST:: SOT 39540 SOS 29775 HAS SOPS 28090 HAS SOUS 18270 HAS SOUPS 18162 WITH SCORE 18191.775
AT ITER 94 NEW BEST:: SOT 39445 SOS 29684 HAS SOPS 27995 HAS SOUS 18175 HAS SOUPS 18067 WITH SCORE 18096.684
AT ITER 115 NEW BEST:: SOT 39438 SOS 29677 HAS SOPS 27991 HAS SOUS 18171 HAS SOUPS 18063 WITH SCORE 18092.677
AT ITER 127 NEW BEST:: SOT 39139 SOS 29170 HAS SOPS 27484 HAS SOUS 17876 HAS SOUPS 17768 WITH SCORE 17797.17
AT ITER 144 NEW BEST:: SOT 39129 SOS 29161 HAS SOPS 27471 HAS SOUS 17866 HAS SOUPS 17757 WITH SCORE 17786.161
AT ITER 146 NEW BEST:: SOT 39093 SOS 29125 HAS SOPS 27435 HAS SOUS 17790 HAS SOUPS 17681 WITH SCORE 17710.125
AT ITER 147 NEW BEST:: SOT 39091 SOS 29123 HAS SOPS 27434 HAS SOUS 17789 HAS SOUPS 17680 WITH SCORE 17709.123
AT ITER 150 NEW BEST:: SOT 39091 SOS 29063 HAS SOPS 27374 HAS SOUS 17786 HAS SOUPS 17677 WITH SCORE 17706.063
AT ITER 160 NEW BEST:: SOT 39087 SOS 28666 HAS SOPS 26792 HAS SOUS 17078 HAS SOUPS 16969 WITH SCORE 16997.666
AT ITER 172 NEW BEST:: SOT 38031 SOS 27663 HAS SOPS 25739 HAS SOUS 16025 HAS SOUPS 15916 WITH SCORE 15943.663
AT ITER 186 NEW BEST:: SOT 38027 SOS 27659 HAS SOPS 25739 HAS SOUS 16025 HAS SOUPS 15916 WITH SCORE 15943.659
AT ITER 201 NEW BEST:: SOT 38027 SOS 27659 HAS SOPS 25766 HAS SOUS 15670 HAS SOUPS 15561 WITH SCORE 15588.659
AT ITER 216 NEW BEST:: SOT 37987 SOS 27619 HAS SOPS 25698 HAS SOUS 15602 HAS SOUPS 15493 WITH SCORE 15520.619
AT ITER 247 NEW BEST:: SOT 37984 SOS 27616 HAS SOPS 25682 HAS SOUS 15586 HAS SOUPS 15477 WITH SCORE 15504.616
AT ITER 256 NEW BEST:: SOT 37983 SOS 27615 HAS SOPS 25681 HAS SOUS 15585 HAS SOUPS 15476 WITH SCORE 15503.615
AT ITER 257 NEW BEST:: SOT 37960 SOS 27592 HAS SOPS 25681 HAS SOUS 15585 HAS SOUPS 15476 WITH SCORE 15503.592
AT ITER 264 NEW BEST:: SOT 37893 SOS 27535 HAS SOPS 25624 HAS SOUS 15528 HAS SOUPS 15419 WITH SCORE 15446.535
AT ITER 281 NEW BEST:: SOT 37872 SOS 27474 HAS SOPS 25435 HAS SOUS 15444 HAS SOUPS 15335 WITH SCORE 15362.474
AT ITER 288 NEW BEST:: SOT 37871 SOS 27473 HAS SOPS 25433 HAS SOUS 15442 HAS SOUPS 15333 WITH SCORE 15360.473
AT ITER 291 NEW BEST:: SOT 37857 SOS 27459 HAS SOPS 25429 HAS SOUS 15438 HAS SOUPS 15329 WITH SCORE 15356.459
AT ITER 299 NEW BEST:: SOT 38030 SOS 27628 HAS SOPS 25598 HAS SOUS 15427 HAS SOUPS 15318 WITH SCORE 15345.628
AT ITER 306 NEW BEST:: SOT 37864 SOS 27495 HAS SOPS 25465 HAS SOUS 15294 HAS SOUPS 15185 WITH SCORE 15212.495
AT ITER 313 NEW BEST:: SOT 37860 SOS 27504 HAS SOPS 25469 HAS SOUS 15282 HAS SOUPS 15173 WITH SCORE 15200.504
AT ITER 314 NEW BEST:: SOT 37857 SOS 27501 HAS SOPS 25466 HAS SOUS 15219 HAS SOUPS 15110 WITH SCORE 15137.501
AT ITER 341 NEW BEST:: SOT 37836 SOS 27475 HAS SOPS 25413 HAS SOUS 15162 HAS SOUPS 15053 WITH SCORE 15080.475
AT ITER 349 NEW BEST:: SOT 37836 SOS 27435 HAS SOPS 25373 HAS SOUS 15160 HAS SOUPS 15051 WITH SCORE 15078.435
AT ITER 361 NEW BEST:: SOT 37491 SOS 27090 HAS SOPS 24997 HAS SOUS 14358 HAS SOUPS 14249 WITH SCORE 14276.09
AT ITER 395 NEW BEST:: SOT 37491 SOS 27090 HAS SOPS 24990 HAS SOUS 14351 HAS SOUPS 14242 WITH SCORE 14269.09
AT ITER 399 NEW BEST:: SOT 37510 SOS 27109 HAS SOPS 24989 HAS SOUS 14350 HAS SOUPS 14241 WITH SCORE 14268.109
AT ITER 402 NEW BEST:: SOT 37496 SOS 27095 HAS SOPS 24975 HAS SOUS 14336 HAS SOUPS 14227 WITH SCORE 14254.095
AT ITER 412 NEW BEST:: SOT 37492 SOS 27044 HAS SOPS 24980 HAS SOUS 14333 HAS SOUPS 14224 WITH SCORE 14251.044
AT ITER 447 NEW BEST:: SOT 37492 SOS 27044 HAS SOPS 24978 HAS SOUS 14331 HAS SOUPS 14222 WITH SCORE 14249.044
AT ITER 469 NEW BEST:: SOT 37506 SOS 27058 HAS SOPS 24976 HAS SOUS 14329 HAS SOUPS 14220 WITH SCORE 14247.058
AT ITER 476 NEW BEST:: SOT 37488 SOS 27040 HAS SOPS 24958 HAS SOUS 14291 HAS SOUPS 14182 WITH SCORE 14209.04
AT ITER 523 NEW BEST:: SOT 37162 SOS 26748 HAS SOPS 24666 HAS SOUS 13999 HAS SOUPS 13890 WITH SCORE 13916.748
AT ITER 557 NEW BEST:: SOT 37162 SOS 26485 HAS SOPS 24217 HAS SOUS 13942 HAS SOUPS 13833 WITH SCORE 13859.485
AT ITER 562 NEW BEST:: SOT 37123 SOS 26446 HAS SOPS 24206 HAS SOUS 13931 HAS SOUPS 13822 WITH SCORE 13848.446
AT ITER 573 NEW BEST:: SOT 36899 SOS 26259 HAS SOPS 24019 HAS SOUS 13744 HAS SOUPS 13635 WITH SCORE 13661.259
AT ITER 610 NEW BEST:: SOT 36899 SOS 25915 HAS SOPS 23675 HAS SOUS 13710 HAS SOUPS 13601 WITH SCORE 13626.915
AT ITER 631 NEW BEST:: SOT 36899 SOS 25896 HAS SOPS 23656 HAS SOUS 13708 HAS SOUPS 13599 WITH SCORE 13624.896
AT ITER 689 NEW BEST:: SOT 36879 SOS 25876 HAS SOPS 23636 HAS SOUS 13688 HAS SOUPS 13579 WITH SCORE 13604.876
AT ITER 690 NEW BEST:: SOT 36878 SOS 25875 HAS SOPS 23635 HAS SOUS 13687 HAS SOUPS 13578 WITH SCORE 13603.875
AT ITER 728 NEW BEST:: SOT 36860 SOS 25857 HAS SOPS 23617 HAS SOUS 13649 HAS SOUPS 13540 WITH SCORE 13565.857
AT ITER 729 NEW BEST:: SOT 36609 SOS 25569 HAS SOPS 23335 HAS SOUS 13484 HAS SOUPS 13375 WITH SCORE 13400.569
AT ITER 732 NEW BEST:: SOT 36613 SOS 25573 HAS SOPS 23328 HAS SOUS 13477 HAS SOUPS 13368 WITH SCORE 13393.573
AT ITER 760 NEW BEST:: SOT 36613 SOS 25478 HAS SOPS 23233 HAS SOUS 13467 HAS SOUPS 13358 WITH SCORE 13383.478
AT ITER 772 NEW BEST:: SOT 36610 SOS 25475 HAS SOPS 23230 HAS SOUS 13464 HAS SOUPS 13355 WITH SCORE 13380.475
AT ITER 776 NEW BEST:: SOT 36610 SOS 25475 HAS SOPS 23225 HAS SOUS 13459 HAS SOUPS 13350 WITH SCORE 13375.475
AT ITER 815 NEW BEST:: SOT 36781 SOS 25598 HAS SOPS 23156 HAS SOUS 13176 HAS SOUPS 13067 WITH SCORE 13092.598
AT ITER 871 NEW BEST:: SOT 36207 SOS 25070 HAS SOPS 22628 HAS SOUS 12788 HAS SOUPS 12679 WITH SCORE 12704.07
AT ITER 927 NEW BEST:: SOT 36187 SOS 25070 HAS SOPS 22499 HAS SOUS 12711 HAS SOUPS 12584 WITH SCORE 12609.07
AT ITER 930 NEW BEST:: SOT 35832 SOS 24715 HAS SOPS 22137 HAS SOUS 12349 HAS SOUPS 12222 WITH SCORE 12246.715
AT ITER 931 NEW BEST:: SOT 35930 SOS 24812 HAS SOPS 22232 HAS SOUS 12316 HAS SOUPS 12189 WITH SCORE 12213.812
AT ITER 955 NEW BEST:: SOT 35923 SOS 24805 HAS SOPS 22225 HAS SOUS 12309 HAS SOUPS 12182 WITH SCORE 12206.805
AT ITER 961 NEW BEST:: SOT 35869 SOS 24751 HAS SOPS 22171 HAS SOUS 12255 HAS SOUPS 12128 WITH SCORE 12152.751
AT ITER 988 NEW BEST:: SOT 35857 SOS 24739 HAS SOPS 22159 HAS SOUS 12243 HAS SOUPS 12116 WITH SCORE 12140.739
AT ITER 1002 NEW BEST:: SOT 35821 SOS 24703 HAS SOPS 22125 HAS SOUS 12209 HAS SOUPS 12082 WITH SCORE 12106.703
AT ITER 1070 NEW BEST:: SOT 35819 SOS 24701 HAS SOPS 22123 HAS SOUS 12207 HAS SOUPS 12080 WITH SCORE 12104.701
AT ITER 1088 NEW BEST:: SOT 35797 SOS 24679 HAS SOPS 22101 HAS SOUS 12185 HAS SOUPS 12058 WITH SCORE 12082.679
AT ITER 1096 NEW BEST:: SOT 35793 SOS 24675 HAS SOPS 22101 HAS SOUS 12185 HAS SOUPS 12058 WITH SCORE 12082.675
AT ITER 1100 NEW BEST:: SOT 35793 SOS 24675 HAS SOPS 22072 HAS SOUS 12156 HAS SOUPS 12029 WITH SCORE 12053.675
AT ITER 1115 NEW BEST:: SOT 35726 SOS 24659 HAS SOPS 22056 HAS SOUS 12084 HAS SOUPS 11957 WITH SCORE 11981.659
AT ITER 1127 NEW BEST:: SOT 35706 SOS 24640 HAS SOPS 22037 HAS SOUS 12065 HAS SOUPS 11938 WITH SCORE 11962.64
AT ITER 1152 NEW BEST:: SOT 35702 SOS 24636 HAS SOPS 22033 HAS SOUS 12061 HAS SOUPS 11934 WITH SCORE 11958.636
AT ITER 1154 NEW BEST:: SOT 35702 SOS 24522 HAS SOPS 21919 HAS SOUS 12049 HAS SOUPS 11922 WITH SCORE 11946.522
AT ITER 1188 NEW BEST:: SOT 36028 SOS 24436 HAS SOPS 21633 HAS SOUS 11924 HAS SOUPS 11797 WITH SCORE 11821.436
AT ITER 1193 NEW BEST:: SOT 35779 SOS 24187 HAS SOPS 21383 HAS SOUS 11870 HAS SOUPS 11743 WITH SCORE 11767.187
AT ITER 1197 NEW BEST:: SOT 35776 SOS 24102 HAS SOPS 21298 HAS SOUS 11785 HAS SOUPS 11658 WITH SCORE 11682.102
AT ITER 1203 NEW BEST:: SOT 35774 SOS 24100 HAS SOPS 21294 HAS SOUS 11781 HAS SOUPS 11654 WITH SCORE 11678.1
AT ITER 1205 NEW BEST:: SOT 35765 SOS 24091 HAS SOPS 21285 HAS SOUS 11772 HAS SOUPS 11645 WITH SCORE 11669.091
AT ITER 1249 NEW BEST:: SOT 35776 SOS 24107 HAS SOPS 21256 HAS SOUS 11713 HAS SOUPS 11586 WITH SCORE 11610.107
AT ITER 1261 NEW BEST:: SOT 35765 SOS 24096 HAS SOPS 21252 HAS SOUS 11709 HAS SOUPS 11582 WITH SCORE 11606.096
AT ITER 1262 NEW BEST:: SOT 35747 SOS 24078 HAS SOPS 21228 HAS SOUS 11685 HAS SOUPS 11558 WITH SCORE 11582.078
AT ITER 1301 NEW BEST:: SOT 35746 SOS 24077 HAS SOPS 21227 HAS SOUS 11684 HAS SOUPS 11557 WITH SCORE 11581.077
AT ITER 1309 NEW BEST:: SOT 35744 SOS 24075 HAS SOPS 21224 HAS SOUS 11681 HAS SOUPS 11554 WITH SCORE 11578.075
AT ITER 1344 NEW BEST:: SOT 36065 SOS 24083 HAS SOPS 21022 HAS SOUS 11470 HAS SOUPS 11343 WITH SCORE 11367.083
AT ITER 1357 NEW BEST:: SOT 36056 SOS 24074 HAS SOPS 21013 HAS SOUS 11461 HAS SOUPS 11334 WITH SCORE 11358.074
AT ITER 1373 NEW BEST:: SOT 36024 SOS 24042 HAS SOPS 20981 HAS SOUS 11429 HAS SOUPS 11302 WITH SCORE 11326.042
AT ITER 1394 NEW BEST:: SOT 35942 SOS 23981 HAS SOPS 20920 HAS SOUS 11368 HAS SOUPS 11241 WITH SCORE 11264.981
AT ITER 1408 NEW BEST:: SOT 35942 SOS 24132 HAS SOPS 21071 HAS SOUS 11366 HAS SOUPS 11239 WITH SCORE 11263.132
AT ITER 1416 NEW BEST:: SOT 35940 SOS 24130 HAS SOPS 21069 HAS SOUS 11364 HAS SOUPS 11237 WITH SCORE 11261.13
AT ITER 1430 NEW BEST:: SOT 35934 SOS 24124 HAS SOPS 21065 HAS SOUS 11360 HAS SOUPS 11233 WITH SCORE 11257.124
AT ITER 1441 NEW BEST:: SOT 35929 SOS 24119 HAS SOPS 21055 HAS SOUS 11350 HAS SOUPS 11223 WITH SCORE 11247.119
AT ITER 1450 NEW BEST:: SOT 35894 SOS 24084 HAS SOPS 21020 HAS SOUS 11315 HAS SOUPS 11188 WITH SCORE 11212.084
AT ITER 1485 NEW BEST:: SOT 35894 SOS 24044 HAS SOPS 20980 HAS SOUS 11309 HAS SOUPS 11182 WITH SCORE 11206.044
AT ITER 1529 NEW BEST:: SOT 35894 SOS 23987 HAS SOPS 20923 HAS SOUS 11303 HAS SOUPS 11176 WITH SCORE 11199.987
AT ITER 1548 NEW BEST:: SOT 35894 SOS 23977 HAS SOPS 20913 HAS SOUS 11293 HAS SOUPS 11166 WITH SCORE 11189.977
AT ITER 1551 NEW BEST:: SOT 35891 SOS 23970 HAS SOPS 20902 HAS SOUS 11206 HAS SOUPS 11079 WITH SCORE 11102.97
AT ITER 1554 NEW BEST:: SOT 35874 SOS 23956 HAS SOPS 20885 HAS SOUS 11189 HAS SOUPS 11062 WITH SCORE 11085.956
AT ITER 1568 NEW BEST:: SOT 35874 SOS 23937 HAS SOPS 20866 HAS SOUS 11187 HAS SOUPS 11060 WITH SCORE 11083.937
AT ITER 1571 NEW BEST:: SOT 35694 SOS 23770 HAS SOPS 20699 HAS SOUS 11100 HAS SOUPS 10973 WITH SCORE 10996.77
AT ITER 1572 NEW BEST:: SOT 35625 SOS 23742 HAS SOPS 20670 HAS SOUS 10814 HAS SOUPS 10687 WITH SCORE 10710.742
AT ITER 1601 NEW BEST:: SOT 35624 SOS 23741 HAS SOPS 20668 HAS SOUS 10812 HAS SOUPS 10685 WITH SCORE 10708.741
AT ITER 1604 NEW BEST:: SOT 35622 SOS 23739 HAS SOPS 20664 HAS SOUS 10808 HAS SOUPS 10681 WITH SCORE 10704.739
AT ITER 1622 NEW BEST:: SOT 35601 SOS 23747 HAS SOPS 20602 HAS SOUS 10715 HAS SOUPS 10588 WITH SCORE 10611.747
AT ITER 1657 NEW BEST:: SOT 35841 SOS 23989 HAS SOPS 20860 HAS SOUS 10613 HAS SOUPS 10486 WITH SCORE 10509.989
AT ITER 1669 NEW BEST:: SOT 35801 SOS 23949 HAS SOPS 20820 HAS SOUS 10573 HAS SOUPS 10446 WITH SCORE 10469.949
AT ITER 1671 NEW BEST:: SOT 35754 SOS 23902 HAS SOPS 20796 HAS SOUS 10558 HAS SOUPS 10431 WITH SCORE 10454.902
AT ITER 1771 NEW BEST:: SOT 35935 SOS 24195 HAS SOPS 20994 HAS SOUS 10549 HAS SOUPS 10422 WITH SCORE 10446.195
AT ITER 1830 NEW BEST:: SOT 35915 SOS 24175 HAS SOPS 20989 HAS SOUS 10544 HAS SOUPS 10417 WITH SCORE 10441.175
AT ITER 1839 NEW BEST:: SOT 35911 SOS 24171 HAS SOPS 20985 HAS SOUS 10540 HAS SOUPS 10413 WITH SCORE 10437.171
AT ITER 1843 NEW BEST:: SOT 35911 SOS 23981 HAS SOPS 20795 HAS SOUS 10520 HAS SOUPS 10393 WITH SCORE 10416.981
AT ITER 1873 NEW BEST:: SOT 35928 SOS 23998 HAS SOPS 20797 HAS SOUS 10513 HAS SOUPS 10386 WITH SCORE 10409.998
AT ITER 1929 NEW BEST:: SOT 35904 SOS 23974 HAS SOPS 20655 HAS SOUS 10262 HAS SOUPS 10135 WITH SCORE 10158.974
AT ITER 1940 NEW BEST:: SOT 35904 SOS 23974 HAS SOPS 20637 HAS SOUS 10244 HAS SOUPS 10117 WITH SCORE 10140.974
AT ITER 1950 NEW BEST:: SOT 35897 SOS 23967 HAS SOPS 20630 HAS SOUS 10237 HAS SOUPS 10110 WITH SCORE 10133.967
AT ITER 1972 NEW BEST:: SOT 36022 SOS 24558 HAS SOPS 20638 HAS SOUS 10149 HAS SOUPS 9999 WITH SCORE 10023.558
AT ITER 2016 NEW BEST:: SOT 36020 SOS 24556 HAS SOPS 20628 HAS SOUS 10139 HAS SOUPS 9989 WITH SCORE 10013.556
AT ITER 2038 NEW BEST:: SOT 36020 SOS 24385 HAS SOPS 20457 HAS SOUS 10121 HAS SOUPS 9971 WITH SCORE 9995.385
AT ITER 2068 NEW BEST:: SOT 36100 SOS 24457 HAS SOPS 20529 HAS SOUS 10113 HAS SOUPS 9963 WITH SCORE 9987.457
AT ITER 2101 NEW BEST:: SOT 36177 SOS 24534 HAS SOPS 20607 HAS SOUS 10103 HAS SOUPS 9953 WITH SCORE 9977.534
AT ITER 2114 NEW BEST:: SOT 36161 SOS 24518 HAS SOPS 20591 HAS SOUS 10087 HAS SOUPS 9937 WITH SCORE 9961.518
AT ITER 2122 NEW BEST:: SOT 35951 SOS 24308 HAS SOPS 20409 HAS SOUS 9877 HAS SOUPS 9732 WITH SCORE 9756.308
AT ITER 2135 NEW BEST:: SOT 35947 SOS 24304 HAS SOPS 20394 HAS SOUS 9862 HAS SOUPS 9717 WITH SCORE 9741.304
AT ITER 2175 NEW BEST:: SOT 35931 SOS 24288 HAS SOPS 20367 HAS SOUS 9835 HAS SOUPS 9690 WITH SCORE 9714.288
AT ITER 2200 NEW BEST:: SOT 35890 SOS 24247 HAS SOPS 20326 HAS SOUS 9794 HAS SOUPS 9649 WITH SCORE 9673.247
AT ITER 2208 NEW BEST:: SOT 35890 SOS 24227 HAS SOPS 20306 HAS SOUS 9791 HAS SOUPS 9646 WITH SCORE 9670.227
AT ITER 2210 NEW BEST:: SOT 35891 SOS 24227 HAS SOPS 20306 HAS SOUS 9651 HAS SOUPS 9506 WITH SCORE 9530.227
AT ITER 2252 NEW BEST:: SOT 35891 SOS 24094 HAS SOPS 20173 HAS SOUS 9637 HAS SOUPS 9492 WITH SCORE 9516.094
AT ITER 2265 NEW BEST:: SOT 35887 SOS 24090 HAS SOPS 20168 HAS SOUS 9632 HAS SOUPS 9487 WITH SCORE 9511.09
AT ITER 2297 NEW BEST:: SOT 35882 SOS 24085 HAS SOPS 20165 HAS SOUS 9629 HAS SOUPS 9484 WITH SCORE 9508.085
AT ITER 2370 NEW BEST:: SOT 35857 SOS 24060 HAS SOPS 20140 HAS SOUS 9604 HAS SOUPS 9459 WITH SCORE 9483.06
AT ITER 2432 NEW BEST:: SOT 35857 SOS 24060 HAS SOPS 20136 HAS SOUS 9587 HAS SOUPS 9442 WITH SCORE 9466.06
AT ITER 2433 NEW BEST:: SOT 35946 SOS 24149 HAS SOPS 20234 HAS SOUS 9585 HAS SOUPS 9440 WITH SCORE 9464.149
AT ITER 2458 NEW BEST:: SOT 35937 SOS 24140 HAS SOPS 20225 HAS SOUS 9576 HAS SOUPS 9431 WITH SCORE 9455.14
AT ITER 2462 NEW BEST:: SOT 35937 SOS 24026 HAS SOPS 20111 HAS SOUS 9564 HAS SOUPS 9419 WITH SCORE 9443.026
AT ITER 2466 NEW BEST:: SOT 35933 SOS 24022 HAS SOPS 20105 HAS SOUS 9558 HAS SOUPS 9413 WITH SCORE 9437.022
AT ITER 2498 NEW BEST:: SOT 35913 SOS 24002 HAS SOPS 20085 HAS SOUS 9538 HAS SOUPS 9393 WITH SCORE 9417.002
AT ITER 2528 NEW BEST:: SOT 35903 SOS 23916 HAS SOPS 19886 HAS SOUS 9486 HAS SOUPS 9341 WITH SCORE 9364.916
AT ITER 2535 NEW BEST:: SOT 35898 SOS 23911 HAS SOPS 19886 HAS SOUS 9484 HAS SOUPS 9339 WITH SCORE 9362.911
AT ITER 2595 NEW BEST:: SOT 35877 SOS 23890 HAS SOPS 19845 HAS SOUS 9437 HAS SOUPS 9292 WITH SCORE 9315.89
AT ITER 2597 NEW BEST:: SOT 35877 SOS 23890 HAS SOPS 19840 HAS SOUS 9432 HAS SOUPS 9287 WITH SCORE 9310.89
AT ITER 2644 NEW BEST:: SOT 35872 SOS 23885 HAS SOPS 19835 HAS SOUS 9427 HAS SOUPS 9282 WITH SCORE 9305.885
AT ITER 2667 NEW BEST:: SOT 35657 SOS 23613 HAS SOPS 19632 HAS SOUS 9338 HAS SOUPS 9193 WITH SCORE 9216.613
AT ITER 2669 NEW BEST:: SOT 35647 SOS 23603 HAS SOPS 19622 HAS SOUS 9328 HAS SOUPS 9183 WITH SCORE 9206.603
AT ITER 2706 NEW BEST:: SOT 35647 SOS 23598 HAS SOPS 19617 HAS SOUS 9328 HAS SOUPS 9183 WITH SCORE 9206.598
AT ITER 2779 NEW BEST:: SOT 35587 SOS 23538 HAS SOPS 19557 HAS SOUS 9208 HAS SOUPS 9063 WITH SCORE 9086.538
AT ITER 2797 NEW BEST:: SOT 35531 SOS 32255 HAS SOPS 19216 HAS SOUS 9180 HAS SOUPS 9007 WITH SCORE 9039.255
AT ITER 2814 NEW BEST:: SOT 35576 SOS 32300 HAS SOPS 19178 HAS SOUS 9078 HAS SOUPS 8905 WITH SCORE 8937.3
AT ITER 3043 NEW BEST:: SOT 35506 SOS 32235 HAS SOPS 19125 HAS SOUS 9043 HAS SOUPS 8870 WITH SCORE 8902.235
AT ITER 3126 NEW BEST:: SOT 35490 SOS 32218 HAS SOPS 19107 HAS SOUS 9025 HAS SOUPS 8852 WITH SCORE 8884.218
AT ITER 3268 NEW BEST:: SOT 35376 SOS 32139 HAS SOPS 19345 HAS SOUS 8986 HAS SOUPS 8813 WITH SCORE 8845.139
AT ITER 3322 NEW BEST:: SOT 35376 SOS 32135 HAS SOPS 19341 HAS SOUS 8986 HAS SOUPS 8813 WITH SCORE 8845.135
AT ITER 3395 NEW BEST:: SOT 35284 SOS 32073 HAS SOPS 19583 HAS SOUS 8956 HAS SOUPS 8783 WITH SCORE 8815.073
AT ITER 3418 NEW BEST:: SOT 35271 SOS 32060 HAS SOPS 19577 HAS SOUS 8950 HAS SOUPS 8777 WITH SCORE 8809.06
AT ITER 3421 NEW BEST:: SOT 35257 SOS 32046 HAS SOPS 19577 HAS SOUS 8950 HAS SOUPS 8777 WITH SCORE 8809.046
AT ITER 3496 NEW BEST:: SOT 35244 SOS 32033 HAS SOPS 19577 HAS SOUS 8950 HAS SOUPS 8777 WITH SCORE 8809.033
AT ITER 3517 NEW BEST:: SOT 35244 SOS 32033 HAS SOPS 19578 HAS SOUS 8931 HAS SOUPS 8758 WITH SCORE 8790.033
AT ITER 3573 NEW BEST:: SOT 35256 SOS 32037 HAS SOPS 19576 HAS SOUS 8929 HAS SOUPS 8756 WITH SCORE 8788.037
AT ITER 3575 NEW BEST:: SOT 35254 SOS 32035 HAS SOPS 19575 HAS SOUS 8928 HAS SOUPS 8755 WITH SCORE 8787.035
AT ITER 3588 NEW BEST:: SOT 35033 SOS 31814 HAS SOPS 19367 HAS SOUS 8740 HAS SOUPS 8567 WITH SCORE 8598.814
AT ITER 3640 NEW BEST:: SOT 34995 SOS 31776 HAS SOPS 19349 HAS SOUS 8722 HAS SOUPS 8549 WITH SCORE 8580.776
AT ITER 3679 NEW BEST:: SOT 34999 SOS 31780 HAS SOPS 19346 HAS SOUS 8719 HAS SOUPS 8546 WITH SCORE 8577.78
AT ITER 3693 NEW BEST:: SOT 35079 SOS 31860 HAS SOPS 19426 HAS SOUS 8690 HAS SOUPS 8517 WITH SCORE 8548.86
AT ITER 3726 NEW BEST:: SOT 35079 SOS 31811 HAS SOPS 19377 HAS SOUS 8636 HAS SOUPS 8463 WITH SCORE 8494.811
AT ITER 3861 NEW BEST:: SOT 35134 SOS 31873 HAS SOPS 19274 HAS SOUS 8425 HAS SOUPS 8252 WITH SCORE 8283.873
AT ITER 3898 NEW BEST:: SOT 35132 SOS 31871 HAS SOPS 19272 HAS SOUS 8423 HAS SOUPS 8250 WITH SCORE 8281.871
AT ITER 3986 NEW BEST:: SOT 35263 SOS 32115 HAS SOPS 19525 HAS SOUS 8392 HAS SOUPS 8219 WITH SCORE 8251.115
AT ITER 3992 NEW BEST:: SOT 35258 SOS 32110 HAS SOPS 19519 HAS SOUS 8386 HAS SOUPS 8213 WITH SCORE 8245.11
AT ITER 4012 NEW BEST:: SOT 35258 SOS 32096 HAS SOPS 19581 HAS SOUS 8380 HAS SOUPS 8207 WITH SCORE 8239.096
AT ITER 4046 NEW BEST:: SOT 35322 SOS 32141 HAS SOPS 19607 HAS SOUS 8137 HAS SOUPS 7964 WITH SCORE 7996.141
AT ITER 4173 NEW BEST:: SOT 35262 SOS 32084 HAS SOPS 19550 HAS SOUS 8080 HAS SOUPS 7907 WITH SCORE 7939.084
AT ITER 4350 NEW BEST:: SOT 35259 SOS 32081 HAS SOPS 19547 HAS SOUS 8077 HAS SOUPS 7904 WITH SCORE 7936.081
AT ITER 4380 NEW BEST:: SOT 35239 SOS 32061 HAS SOPS 19527 HAS SOUS 8037 HAS SOUPS 7864 WITH SCORE 7896.061
AT ITER 4456 NEW BEST:: SOT 35231 SOS 32053 HAS SOPS 19511 HAS SOUS 8021 HAS SOUPS 7848 WITH SCORE 7880.053
AT ITER 4461 NEW BEST:: SOT 35231 SOS 32053 HAS SOPS 19340 HAS SOUS 8003 HAS SOUPS 7830 WITH SCORE 7862.053
AT ITER 4543 NEW BEST:: SOT 35220 SOS 32042 HAS SOPS 19329 HAS SOUS 7992 HAS SOUPS 7819 WITH SCORE 7851.042
AT ITER 4562 NEW BEST:: SOT 35248 SOS 32074 HAS SOPS 19315 HAS SOUS 7974 HAS SOUPS 7801 WITH SCORE 7833.074
AT ITER 4566 NEW BEST:: SOT 35246 SOS 32071 HAS SOPS 19314 HAS SOUS 7973 HAS SOUPS 7800 WITH SCORE 7832.071
AT ITER 4582 NEW BEST:: SOT 35246 SOS 32071 HAS SOPS 19295 HAS SOUS 7971 HAS SOUPS 7798 WITH SCORE 7830.071
AT ITER 4686 NEW BEST:: SOT 35244 SOS 32069 HAS SOPS 19291 HAS SOUS 7967 HAS SOUPS 7794 WITH SCORE 7826.069
AT ITER 4828 NEW BEST:: SOT 35244 SOS 32067 HAS SOPS 19289 HAS SOUS 7965 HAS SOUPS 7792 WITH SCORE 7824.067
AT ITER 4843 NEW BEST:: SOT 35241 SOS 32064 HAS SOPS 19286 HAS SOUS 7962 HAS SOUPS 7789 WITH SCORE 7821.064
AT ITER 4850 NEW BEST:: SOT 35241 SOS 32048 HAS SOPS 19384 HAS SOUS 7958 HAS SOUPS 7785 WITH SCORE 7817.048
AT ITER 4854 NEW BEST:: SOT 35221 SOS 32022 HAS SOPS 19382 HAS SOUS 7956 HAS SOUPS 7783 WITH SCORE 7815.022
AT ITER 4860 NEW BEST:: SOT 35212 SOS 32013 HAS SOPS 19377 HAS SOUS 7951 HAS SOUPS 7778 WITH SCORE 7810.013
AT ITER 4874 NEW BEST:: SOT 35190 SOS 31991 HAS SOPS 19355 HAS SOUS 7929 HAS SOUPS 7756 WITH SCORE 7787.991
AT ITER 4967 NEW BEST:: SOT 35186 SOS 31956 HAS SOPS 19320 HAS SOUS 7894 HAS SOUPS 7721 WITH SCORE 7752.956
AT ITER 5217 NEW BEST:: SOT 35181 SOS 31951 HAS SOPS 19311 HAS SOUS 7885 HAS SOUPS 7712 WITH SCORE 7743.951
AT ITER 5279 NEW BEST:: SOT 35180 SOS 31950 HAS SOPS 19178 HAS SOUS 7869 HAS SOUPS 7696 WITH SCORE 7727.95
AT ITER 5301 NEW BEST:: SOT 35174 SOS 31944 HAS SOPS 19177 HAS SOUS 7868 HAS SOUPS 7695 WITH SCORE 7726.944
AT ITER 5368 NEW BEST:: SOT 35174 SOS 31942 HAS SOPS 19175 HAS SOUS 7868 HAS SOUPS 7695 WITH SCORE 7726.942
AT ITER 5481 NEW BEST:: SOT 35174 SOS 31942 HAS SOPS 19156 HAS SOUS 7866 HAS SOUPS 7693 WITH SCORE 7724.942
AT ITER 5484 NEW BEST:: SOT 35172 SOS 31940 HAS SOPS 19154 HAS SOUS 7864 HAS SOUPS 7691 WITH SCORE 7722.94
AT ITER 5668 NEW BEST:: SOT 35208 SOS 31979 HAS SOPS 19166 HAS SOUS 7861 HAS SOUPS 7688 WITH SCORE 7719.979
AT ITER 5758 NEW BEST:: SOT 35180 SOS 31951 HAS SOPS 19179 HAS SOUS 7801 HAS SOUPS 7631 WITH SCORE 7662.951
AT ITER 5793 NEW BEST:: SOT 35174 SOS 31945 HAS SOPS 19173 HAS SOUS 7795 HAS SOUPS 7625 WITH SCORE 7656.945
AT ITER 5912 NEW BEST:: SOT 35169 SOS 31940 HAS SOPS 19163 HAS SOUS 7785 HAS SOUPS 7615 WITH SCORE 7646.94
AT ITER 5982 NEW BEST:: SOT 35159 SOS 31930 HAS SOPS 19147 HAS SOUS 7769 HAS SOUPS 7599 WITH SCORE 7630.93
AT ITER 6101 NEW BEST:: SOT 35157 SOS 31928 HAS SOPS 19145 HAS SOUS 7767 HAS SOUPS 7597 WITH SCORE 7628.928
AT ITER 6329 NEW BEST:: SOT 35157 SOS 31921 HAS SOPS 19138 HAS SOUS 7753 HAS SOUPS 7583 WITH SCORE 7614.921
AT ITER 6372 NEW BEST:: SOT 35152 SOS 31916 HAS SOPS 19133 HAS SOUS 7748 HAS SOUPS 7578 WITH SCORE 7609.916
AT ITER 6443 NEW BEST:: SOT 35119 SOS 31883 HAS SOPS 19071 HAS SOUS 7675 HAS SOUPS 7505 WITH SCORE 7536.883
AT ITER 6661 NEW BEST:: SOT 35119 SOS 31882 HAS SOPS 19070 HAS SOUS 7654 HAS SOUPS 7484 WITH SCORE 7515.882
AT ITER 6680 NEW BEST:: SOT 35119 SOS 31880 HAS SOPS 19030 HAS SOUS 7648 HAS SOUPS 7478 WITH SCORE 7509.88
AT ITER 6681 NEW BEST:: SOT 35125 SOS 31886 HAS SOPS 19029 HAS SOUS 7647 HAS SOUPS 7477 WITH SCORE 7508.886
AT ITER 6765 NEW BEST:: SOT 35117 SOS 31878 HAS SOPS 19028 HAS SOUS 7646 HAS SOUPS 7476 WITH SCORE 7507.878
AT ITER 6776 NEW BEST:: SOT 35117 SOS 31878 HAS SOPS 19027 HAS SOUS 7645 HAS SOUPS 7475 WITH SCORE 7506.878
AT ITER 6790 NEW BEST:: SOT 35104 SOS 31865 HAS SOPS 19014 HAS SOUS 7632 HAS SOUPS 7462 WITH SCORE 7493.865
AT ITER 6800 NEW BEST:: SOT 35117 SOS 31870 HAS SOPS 19019 HAS SOUS 7630 HAS SOUPS 7460 WITH SCORE 7491.87
AT ITER 6838 NEW BEST:: SOT 35112 SOS 31865 HAS SOPS 19017 HAS SOUS 7628 HAS SOUPS 7458 WITH SCORE 7489.865
AT ITER 6903 NEW BEST:: SOT 35118 SOS 31872 HAS SOPS 19015 HAS SOUS 7621 HAS SOUPS 7451 WITH SCORE 7482.872
AT ITER 6931 NEW BEST:: SOT 35114 SOS 31868 HAS SOPS 19010 HAS SOUS 7616 HAS SOUPS 7446 WITH SCORE 7477.868
AT ITER 6952 NEW BEST:: SOT 35114 SOS 31867 HAS SOPS 18990 HAS SOUS 7615 HAS SOUPS 7445 WITH SCORE 7476.867
AT ITER 7088 NEW BEST:: SOT 34868 SOS 31621 HAS SOPS 18800 HAS SOUS 7459 HAS SOUPS 7290 WITH SCORE 7321.621
AT ITER 7175 NEW BEST:: SOT 34867 SOS 31620 HAS SOPS 18799 HAS SOUS 7458 HAS SOUPS 7289 WITH SCORE 7320.62
AT ITER 7490 NEW BEST:: SOT 34863 SOS 31616 HAS SOPS 18797 HAS SOUS 7456 HAS SOUPS 7287 WITH SCORE 7318.616
AT ITER 7535 NEW BEST:: SOT 34845 SOS 31598 HAS SOPS 18784 HAS SOUS 7443 HAS SOUPS 7274 WITH SCORE 7305.598
AT ITER 7614 NEW BEST:: SOT 34843 SOS 31596 HAS SOPS 18780 HAS SOUS 7439 HAS SOUPS 7270 WITH SCORE 7301.596
AT ITER 7655 NEW BEST:: SOT 34818 SOS 31570 HAS SOPS 18754 HAS SOUS 7413 HAS SOUPS 7244 WITH SCORE 7275.57
AT ITER 7713 NEW BEST:: SOT 34827 SOS 26794 HAS SOPS 18728 HAS SOUS 7396 HAS SOUPS 7240 WITH SCORE 7266.794
AT ITER 7837 NEW BEST:: SOT 34825 SOS 26792 HAS SOPS 18726 HAS SOUS 7394 HAS SOUPS 7238 WITH SCORE 7264.792
AT ITER 7925 NEW BEST:: SOT 34818 SOS 26785 HAS SOPS 18720 HAS SOUS 7388 HAS SOUPS 7232 WITH SCORE 7258.785
AT ITER 7928 NEW BEST:: SOT 34778 SOS 26747 HAS SOPS 18682 HAS SOUS 7350 HAS SOUPS 7194 WITH SCORE 7220.747
AT ITER 8050 NEW BEST:: SOT 34778 SOS 26747 HAS SOPS 18663 HAS SOUS 7348 HAS SOUPS 7192 WITH SCORE 7218.747
AT ITER 8152 NEW BEST:: SOT 34772 SOS 26741 HAS SOPS 18657 HAS SOUS 7342 HAS SOUPS 7186 WITH SCORE 7212.741
AT ITER 8285 NEW BEST:: SOT 34782 SOS 26754 HAS SOPS 18649 HAS SOUS 7334 HAS SOUPS 7178 WITH SCORE 7204.754
AT ITER 8355 NEW BEST:: SOT 34782 SOS 26754 HAS SOPS 18649 HAS SOUS 7313 HAS SOUPS 7157 WITH SCORE 7183.754
AT ITER 8590 NEW BEST:: SOT 34771 SOS 26733 HAS SOPS 18621 HAS SOUS 7313 HAS SOUPS 7157 WITH SCORE 7183.733
AT ITER 8675 NEW BEST:: SOT 34757 SOS 26719 HAS SOPS 18607 HAS SOUS 7299 HAS SOUPS 7143 WITH SCORE 7169.719
AT ITER 8826 NEW BEST:: SOT 34757 SOS 26716 HAS SOPS 18604 HAS SOUS 7296 HAS SOUPS 7140 WITH SCORE 7166.716
AT ITER 8868 NEW BEST:: SOT 34756 SOS 26715 HAS SOPS 18603 HAS SOUS 7295 HAS SOUPS 7139 WITH SCORE 7165.715
AT ITER 9031 NEW BEST:: SOT 34756 SOS 26715 HAS SOPS 18602 HAS SOUS 7294 HAS SOUPS 7138 WITH SCORE 7164.715
AT ITER 9128 NEW BEST:: SOT 34754 SOS 26713 HAS SOPS 18600 HAS SOUS 7292 HAS SOUPS 7136 WITH SCORE 7162.713
AT ITER 9361 NEW BEST:: SOT 34749 SOS 26708 HAS SOPS 18595 HAS SOUS 7287 HAS SOUPS 7131 WITH SCORE 7157.708
AT ITER 9410 NEW BEST:: SOT 34741 SOS 26700 HAS SOPS 18587 HAS SOUS 7279 HAS SOUPS 7123 WITH SCORE 7149.7
AT ITER 9528 NEW BEST:: SOT 34739 SOS 26698 HAS SOPS 18585 HAS SOUS 7277 HAS SOUPS 7121 WITH SCORE 7147.698
AT ITER 9586 NEW BEST:: SOT 34739 SOS 26698 HAS SOPS 18582 HAS SOUS 7274 HAS SOUPS 7118 WITH SCORE 7144.698
AT ITER 9639 NEW BEST:: SOT 34735 SOS 26694 HAS SOPS 18578 HAS SOUS 7270 HAS SOUPS 7114 WITH SCORE 7140.694
AT ITER 9689 NEW BEST:: SOT 34734 SOS 26693 HAS SOPS 18577 HAS SOUS 7269 HAS SOUPS 7113 WITH SCORE 7139.693
AT ITER 9702 NEW BEST:: SOT 34731 SOS 27640 HAS SOPS 18517 HAS SOUS 7263 HAS SOUPS 7104 WITH SCORE 7131.64
AT ITER 9832 NEW BEST:: SOT 34729 SOS 27638 HAS SOPS 18517 HAS SOUS 7263 HAS SOUPS 7104 WITH SCORE 7131.638
AT ITER 9927 NEW BEST:: SOT 34694 SOS 27603 HAS SOPS 18482 HAS SOUS 7228 HAS SOUPS 7069 WITH SCORE 7096.603
AT ITER 9967 NEW BEST:: SOT 34690 SOS 27599 HAS SOPS 18476 HAS SOUS 7222 HAS SOUPS 7063 WITH SCORE 7090.599

BK_STOP 1679498102324

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Railroad-PT-020, 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 r323-tall-167889194600384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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