Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502700312.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 Railroad-PT-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502700312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 416K
-rw-r--r-- 1 mcc users 3.4K Apr 12 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 09:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 09:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 21:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 249K Mar 24 05:38 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 1589819151083

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 020
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 27 NEW BEST:: SOT 40721 SOS 30762 HAS SOPS 30246 HAS SOUS 19981 HAS SOUPS 19960 WITH SCORE 19990.762
AT ITER 48 NEW BEST:: SOT 40652 SOS 30693 HAS SOPS 30177 HAS SOUS 19916 HAS SOUPS 19895 WITH SCORE 19925.693
AT ITER 53 NEW BEST:: SOT 40952 SOS 30719 HAS SOPS 30032 HAS SOUS 19551 HAS SOUPS 19530 WITH SCORE 19560.719
AT ITER 57 NEW BEST:: SOT 40799 SOS 30566 HAS SOPS 29879 HAS SOUS 19416 HAS SOUPS 19395 WITH SCORE 19425.566
AT ITER 58 NEW BEST:: SOT 40732 SOS 30513 HAS SOPS 29822 HAS SOUS 19359 HAS SOUPS 19338 WITH SCORE 19368.513
AT ITER 66 NEW BEST:: SOT 40726 SOS 30507 HAS SOPS 29816 HAS SOUS 19353 HAS SOUPS 19332 WITH SCORE 19362.507
AT ITER 79 NEW BEST:: SOT 40444 SOS 29816 HAS SOPS 28953 HAS SOUS 18625 HAS SOUPS 18604 WITH SCORE 18633.816
AT ITER 81 NEW BEST:: SOT 40444 SOS 29618 HAS SOPS 28755 HAS SOUS 18623 HAS SOUPS 18602 WITH SCORE 18631.618
AT ITER 97 NEW BEST:: SOT 40414 SOS 29614 HAS SOPS 28751 HAS SOUS 18619 HAS SOUPS 18598 WITH SCORE 18627.614
AT ITER 102 NEW BEST:: SOT 40392 SOS 29601 HAS SOPS 28738 HAS SOUS 18606 HAS SOUPS 18585 WITH SCORE 18614.601
AT ITER 105 NEW BEST:: SOT 40389 SOS 29374 HAS SOPS 28511 HAS SOUS 18588 HAS SOUPS 18567 WITH SCORE 18596.374
AT ITER 118 NEW BEST:: SOT 40389 SOS 29373 HAS SOPS 28510 HAS SOUS 18587 HAS SOUPS 18566 WITH SCORE 18595.373
AT ITER 137 NEW BEST:: SOT 40156 SOS 29135 HAS SOPS 28272 HAS SOUS 18340 HAS SOUPS 18319 WITH SCORE 18348.135
AT ITER 182 NEW BEST:: SOT 40078 SOS 29062 HAS SOPS 28199 HAS SOUS 18267 HAS SOUPS 18246 WITH SCORE 18275.062
AT ITER 190 NEW BEST:: SOT 40385 SOS 30095 HAS SOPS 29232 HAS SOUS 18015 HAS SOUPS 17994 WITH SCORE 18024.095
AT ITER 195 NEW BEST:: SOT 40350 SOS 30060 HAS SOPS 29197 HAS SOUS 17980 HAS SOUPS 17959 WITH SCORE 17989.06
AT ITER 219 NEW BEST:: SOT 40350 SOS 29972 HAS SOPS 29109 HAS SOUS 17978 HAS SOUPS 17957 WITH SCORE 17986.972
AT ITER 226 NEW BEST:: SOT 40344 SOS 29966 HAS SOPS 29103 HAS SOUS 17972 HAS SOUPS 17951 WITH SCORE 17980.966
AT ITER 227 NEW BEST:: SOT 40344 SOS 29966 HAS SOPS 29103 HAS SOUS 17951 HAS SOUPS 17930 WITH SCORE 17959.966
AT ITER 245 NEW BEST:: SOT 40344 SOS 29959 HAS SOPS 29096 HAS SOUS 17944 HAS SOUPS 17923 WITH SCORE 17952.959
AT ITER 252 NEW BEST:: SOT 40325 SOS 29940 HAS SOPS 29077 HAS SOUS 17925 HAS SOUPS 17904 WITH SCORE 17933.94
AT ITER 300 NEW BEST:: SOT 40325 SOS 29965 HAS SOPS 29102 HAS SOUS 17886 HAS SOUPS 17865 WITH SCORE 17894.965
AT ITER 321 NEW BEST:: SOT 40315 SOS 29955 HAS SOPS 29092 HAS SOUS 17876 HAS SOUPS 17855 WITH SCORE 17884.955
AT ITER 336 NEW BEST:: SOT 40315 SOS 29069 HAS SOPS 28034 HAS SOUS 17787 HAS SOUPS 17766 WITH SCORE 17795.069
AT ITER 367 NEW BEST:: SOT 40295 SOS 29030 HAS SOPS 27995 HAS SOUS 17748 HAS SOUPS 17727 WITH SCORE 17756.03
AT ITER 391 NEW BEST:: SOT 39099 SOS 30363 HAS SOPS 27303 HAS SOUS 16112 HAS SOUPS 15951 WITH SCORE 15981.363
AT ITER 394 NEW BEST:: SOT 39095 SOS 30359 HAS SOPS 27299 HAS SOUS 16108 HAS SOUPS 15947 WITH SCORE 15977.359
AT ITER 445 NEW BEST:: SOT 39078 SOS 30342 HAS SOPS 27282 HAS SOUS 16071 HAS SOUPS 15910 WITH SCORE 15940.342
AT ITER 448 NEW BEST:: SOT 39071 SOS 30335 HAS SOPS 27275 HAS SOUS 16064 HAS SOUPS 15903 WITH SCORE 15933.335
AT ITER 472 NEW BEST:: SOT 38840 SOS 29786 HAS SOPS 26554 HAS SOUS 15454 HAS SOUPS 15293 WITH SCORE 15322.786
AT ITER 478 NEW BEST:: SOT 38282 SOS 29259 HAS SOPS 26027 HAS SOUS 14927 HAS SOUPS 14766 WITH SCORE 14795.259
AT ITER 505 NEW BEST:: SOT 38282 SOS 29058 HAS SOPS 25826 HAS SOUS 14916 HAS SOUPS 14755 WITH SCORE 14784.058
AT ITER 532 NEW BEST:: SOT 38233 SOS 29009 HAS SOPS 25777 HAS SOUS 14869 HAS SOUPS 14708 WITH SCORE 14737.009
AT ITER 560 NEW BEST:: SOT 37960 SOS 28768 HAS SOPS 25536 HAS SOUS 14628 HAS SOUPS 14467 WITH SCORE 14495.768
AT ITER 607 NEW BEST:: SOT 37943 SOS 28751 HAS SOPS 25519 HAS SOUS 14591 HAS SOUPS 14430 WITH SCORE 14458.751
AT ITER 618 NEW BEST:: SOT 37943 SOS 28750 HAS SOPS 25517 HAS SOUS 14589 HAS SOUPS 14428 WITH SCORE 14456.75
AT ITER 626 NEW BEST:: SOT 37943 SOS 28690 HAS SOPS 25457 HAS SOUS 14586 HAS SOUPS 14425 WITH SCORE 14453.69
AT ITER 636 NEW BEST:: SOT 37831 SOS 28578 HAS SOPS 25345 HAS SOUS 14481 HAS SOUPS 14320 WITH SCORE 14348.578
AT ITER 657 NEW BEST:: SOT 38103 SOS 28850 HAS SOPS 25617 HAS SOUS 14008 HAS SOUPS 13847 WITH SCORE 13875.85
AT ITER 663 NEW BEST:: SOT 37755 SOS 28521 HAS SOPS 25288 HAS SOUS 13679 HAS SOUPS 13518 WITH SCORE 13546.521
AT ITER 687 NEW BEST:: SOT 37741 SOS 28507 HAS SOPS 25274 HAS SOUS 13665 HAS SOUPS 13504 WITH SCORE 13532.507
AT ITER 710 NEW BEST:: SOT 37727 SOS 28493 HAS SOPS 25274 HAS SOUS 13665 HAS SOUPS 13504 WITH SCORE 13532.493
AT ITER 721 NEW BEST:: SOT 37505 SOS 28271 HAS SOPS 25051 HAS SOUS 13442 HAS SOUPS 13281 WITH SCORE 13309.271
AT ITER 724 NEW BEST:: SOT 37505 SOS 28271 HAS SOPS 25051 HAS SOUS 13232 HAS SOUPS 13071 WITH SCORE 13099.271
AT ITER 743 NEW BEST:: SOT 37481 SOS 28247 HAS SOPS 25027 HAS SOUS 13208 HAS SOUPS 13047 WITH SCORE 13075.247
AT ITER 769 NEW BEST:: SOT 37470 SOS 28236 HAS SOPS 25027 HAS SOUS 13208 HAS SOUPS 13047 WITH SCORE 13075.236
AT ITER 773 NEW BEST:: SOT 37809 SOS 28336 HAS SOPS 24955 HAS SOUS 12848 HAS SOUPS 12687 WITH SCORE 12715.336
AT ITER 778 NEW BEST:: SOT 37808 SOS 28335 HAS SOPS 24955 HAS SOUS 12848 HAS SOUPS 12687 WITH SCORE 12715.335
AT ITER 784 NEW BEST:: SOT 37808 SOS 28078 HAS SOPS 24698 HAS SOUS 12835 HAS SOUPS 12674 WITH SCORE 12702.078
AT ITER 787 NEW BEST:: SOT 37807 SOS 28077 HAS SOPS 24698 HAS SOUS 12835 HAS SOUPS 12674 WITH SCORE 12702.077
AT ITER 796 NEW BEST:: SOT 37592 SOS 27871 HAS SOPS 24492 HAS SOUS 12655 HAS SOUPS 12494 WITH SCORE 12521.871
AT ITER 838 NEW BEST:: SOT 37586 SOS 27865 HAS SOPS 24486 HAS SOUS 12649 HAS SOUPS 12488 WITH SCORE 12515.865
AT ITER 843 NEW BEST:: SOT 37572 SOS 27851 HAS SOPS 24472 HAS SOUS 12635 HAS SOUPS 12474 WITH SCORE 12501.851
AT ITER 853 NEW BEST:: SOT 37570 SOS 27849 HAS SOPS 24462 HAS SOUS 12625 HAS SOUPS 12464 WITH SCORE 12491.849
AT ITER 857 NEW BEST:: SOT 37570 SOS 27849 HAS SOPS 24462 HAS SOUS 12541 HAS SOUPS 12380 WITH SCORE 12407.849
AT ITER 867 NEW BEST:: SOT 37522 SOS 27801 HAS SOPS 24453 HAS SOUS 12532 HAS SOUPS 12371 WITH SCORE 12398.801
AT ITER 879 NEW BEST:: SOT 37522 SOS 27792 HAS SOPS 24444 HAS SOUS 12532 HAS SOUPS 12371 WITH SCORE 12398.792
AT ITER 898 NEW BEST:: SOT 37516 SOS 27786 HAS SOPS 24435 HAS SOUS 12523 HAS SOUPS 12362 WITH SCORE 12389.786
AT ITER 951 NEW BEST:: SOT 37536 SOS 27806 HAS SOPS 24455 HAS SOUS 12185 HAS SOUPS 12024 WITH SCORE 12051.806
AT ITER 965 NEW BEST:: SOT 37905 SOS 27708 HAS SOPS 24253 HAS SOUS 12087 HAS SOUPS 11926 WITH SCORE 11953.708
AT ITER 993 NEW BEST:: SOT 37850 SOS 27653 HAS SOPS 24236 HAS SOUS 12070 HAS SOUPS 11909 WITH SCORE 11936.653
AT ITER 996 NEW BEST:: SOT 37850 SOS 27670 HAS SOPS 24253 HAS SOUS 12068 HAS SOUPS 11907 WITH SCORE 11934.67
AT ITER 1026 NEW BEST:: SOT 37818 SOS 27638 HAS SOPS 24221 HAS SOUS 12036 HAS SOUPS 11875 WITH SCORE 11902.638
AT ITER 1043 NEW BEST:: SOT 37826 SOS 27646 HAS SOPS 24220 HAS SOUS 12030 HAS SOUPS 11869 WITH SCORE 11896.646
AT ITER 1045 NEW BEST:: SOT 37902 SOS 27670 HAS SOPS 24244 HAS SOUS 12017 HAS SOUPS 11856 WITH SCORE 11883.67
AT ITER 1048 NEW BEST:: SOT 37900 SOS 27668 HAS SOPS 24242 HAS SOUS 12015 HAS SOUPS 11854 WITH SCORE 11881.668
AT ITER 1061 NEW BEST:: SOT 37899 SOS 27667 HAS SOPS 24241 HAS SOUS 12014 HAS SOUPS 11853 WITH SCORE 11880.667
AT ITER 1063 NEW BEST:: SOT 37898 SOS 27666 HAS SOPS 24240 HAS SOUS 12013 HAS SOUPS 11852 WITH SCORE 11879.666
AT ITER 1105 NEW BEST:: SOT 37826 SOS 27587 HAS SOPS 24161 HAS SOUS 11861 HAS SOUPS 11700 WITH SCORE 11727.587
AT ITER 1120 NEW BEST:: SOT 37760 SOS 26015 HAS SOPS 23142 HAS SOUS 11684 HAS SOUPS 11561 WITH SCORE 11587.015
AT ITER 1160 NEW BEST:: SOT 37763 SOS 26052 HAS SOPS 22869 HAS SOUS 11674 HAS SOUPS 11529 WITH SCORE 11555.052
AT ITER 1172 NEW BEST:: SOT 37763 SOS 26052 HAS SOPS 22869 HAS SOUS 11534 HAS SOUPS 11389 WITH SCORE 11415.052
AT ITER 1178 NEW BEST:: SOT 37751 SOS 26040 HAS SOPS 22857 HAS SOUS 11522 HAS SOUPS 11377 WITH SCORE 11403.04
AT ITER 1202 NEW BEST:: SOT 37753 SOS 26035 HAS SOPS 22854 HAS SOUS 11519 HAS SOUPS 11374 WITH SCORE 11400.035
AT ITER 1204 NEW BEST:: SOT 37764 SOS 26027 HAS SOPS 22846 HAS SOUS 11500 HAS SOUPS 11355 WITH SCORE 11381.027
AT ITER 1206 NEW BEST:: SOT 37752 SOS 26015 HAS SOPS 22822 HAS SOUS 11476 HAS SOUPS 11331 WITH SCORE 11357.015
AT ITER 1257 NEW BEST:: SOT 37548 SOS 25811 HAS SOPS 22618 HAS SOUS 11272 HAS SOUPS 11127 WITH SCORE 11152.811
AT ITER 1273 NEW BEST:: SOT 37291 SOS 25575 HAS SOPS 22382 HAS SOUS 11049 HAS SOUPS 10904 WITH SCORE 10929.575
AT ITER 1283 NEW BEST:: SOT 37261 SOS 25545 HAS SOPS 22352 HAS SOUS 11021 HAS SOUPS 10876 WITH SCORE 10901.545
AT ITER 1297 NEW BEST:: SOT 37312 SOS 25932 HAS SOPS 22439 HAS SOUS 10893 HAS SOUPS 10735 WITH SCORE 10760.932
AT ITER 1300 NEW BEST:: SOT 37225 SOS 25832 HAS SOPS 22397 HAS SOUS 10876 HAS SOUPS 10718 WITH SCORE 10743.832
AT ITER 1340 NEW BEST:: SOT 37225 SOS 25828 HAS SOPS 22393 HAS SOUS 10872 HAS SOUPS 10714 WITH SCORE 10739.828
AT ITER 1348 NEW BEST:: SOT 37185 SOS 25788 HAS SOPS 22353 HAS SOUS 10832 HAS SOUPS 10674 WITH SCORE 10699.788
AT ITER 1378 NEW BEST:: SOT 37151 SOS 25754 HAS SOPS 22340 HAS SOUS 10819 HAS SOUPS 10661 WITH SCORE 10686.754
AT ITER 1393 NEW BEST:: SOT 37170 SOS 25784 HAS SOPS 22328 HAS SOUS 10815 HAS SOUPS 10657 WITH SCORE 10682.784
AT ITER 1407 NEW BEST:: SOT 37106 SOS 25720 HAS SOPS 22264 HAS SOUS 10751 HAS SOUPS 10593 WITH SCORE 10618.72
AT ITER 1417 NEW BEST:: SOT 37053 SOS 25667 HAS SOPS 22252 HAS SOUS 10739 HAS SOUPS 10581 WITH SCORE 10606.667
AT ITER 1517 NEW BEST:: SOT 37017 SOS 25631 HAS SOPS 22216 HAS SOUS 10703 HAS SOUPS 10545 WITH SCORE 10570.631
AT ITER 1527 NEW BEST:: SOT 36752 SOS 25387 HAS SOPS 21958 HAS SOUS 10578 HAS SOUPS 10420 WITH SCORE 10445.387
AT ITER 1528 NEW BEST:: SOT 36744 SOS 25379 HAS SOPS 21952 HAS SOUS 10572 HAS SOUPS 10414 WITH SCORE 10439.379
AT ITER 1549 NEW BEST:: SOT 36744 SOS 25379 HAS SOPS 21949 HAS SOUS 10569 HAS SOUPS 10411 WITH SCORE 10436.379
AT ITER 1563 NEW BEST:: SOT 36739 SOS 25374 HAS SOPS 21940 HAS SOUS 10560 HAS SOUPS 10402 WITH SCORE 10427.374
AT ITER 1584 NEW BEST:: SOT 36718 SOS 25353 HAS SOPS 21901 HAS SOUS 10511 HAS SOUPS 10353 WITH SCORE 10378.353
AT ITER 1659 NEW BEST:: SOT 36672 SOS 25280 HAS SOPS 21800 HAS SOUS 10410 HAS SOUPS 10252 WITH SCORE 10277.28
AT ITER 1665 NEW BEST:: SOT 36668 SOS 25276 HAS SOPS 21796 HAS SOUS 10407 HAS SOUPS 10249 WITH SCORE 10274.276
AT ITER 1679 NEW BEST:: SOT 36668 SOS 25276 HAS SOPS 21756 HAS SOUS 10332 HAS SOUPS 10174 WITH SCORE 10199.276
AT ITER 1693 NEW BEST:: SOT 36699 SOS 25308 HAS SOPS 21624 HAS SOUS 10130 HAS SOUPS 9972 WITH SCORE 9997.308
AT ITER 1700 NEW BEST:: SOT 36696 SOS 25305 HAS SOPS 21621 HAS SOUS 10127 HAS SOUPS 9969 WITH SCORE 9994.305
AT ITER 1727 NEW BEST:: SOT 36696 SOS 25224 HAS SOPS 21540 HAS SOUS 10122 HAS SOUPS 9964 WITH SCORE 9989.224
AT ITER 1764 NEW BEST:: SOT 36694 SOS 25222 HAS SOPS 21540 HAS SOUS 10122 HAS SOUPS 9964 WITH SCORE 9989.222
AT ITER 1795 NEW BEST:: SOT 36614 SOS 25154 HAS SOPS 21472 HAS SOUS 10054 HAS SOUPS 9896 WITH SCORE 9921.154
AT ITER 1810 NEW BEST:: SOT 36614 SOS 25154 HAS SOPS 21464 HAS SOUS 10046 HAS SOUPS 9888 WITH SCORE 9913.154
AT ITER 1818 NEW BEST:: SOT 36593 SOS 25133 HAS SOPS 21443 HAS SOUS 10025 HAS SOUPS 9867 WITH SCORE 9892.133
AT ITER 1886 NEW BEST:: SOT 36593 SOS 25208 HAS SOPS 21518 HAS SOUS 10024 HAS SOUPS 9866 WITH SCORE 9891.208
AT ITER 1893 NEW BEST:: SOT 36593 SOS 25188 HAS SOPS 21498 HAS SOUS 10023 HAS SOUPS 9865 WITH SCORE 9890.188
AT ITER 1894 NEW BEST:: SOT 36597 SOS 25192 HAS SOPS 21492 HAS SOUS 10017 HAS SOUPS 9859 WITH SCORE 9884.192
AT ITER 1952 NEW BEST:: SOT 36604 SOS 25199 HAS SOPS 21486 HAS SOUS 10011 HAS SOUPS 9853 WITH SCORE 9878.199
AT ITER 1965 NEW BEST:: SOT 36604 SOS 24836 HAS SOPS 21123 HAS SOUS 9990 HAS SOUPS 9832 WITH SCORE 9856.836
AT ITER 2011 NEW BEST:: SOT 36618 SOS 24850 HAS SOPS 21122 HAS SOUS 9989 HAS SOUPS 9831 WITH SCORE 9855.85
AT ITER 2033 NEW BEST:: SOT 36618 SOS 24850 HAS SOPS 21120 HAS SOUS 9987 HAS SOUPS 9829 WITH SCORE 9853.85
AT ITER 2036 NEW BEST:: SOT 36716 SOS 24948 HAS SOPS 21165 HAS SOUS 9954 HAS SOUPS 9796 WITH SCORE 9820.948
AT ITER 2046 NEW BEST:: SOT 36598 SOS 24830 HAS SOPS 21047 HAS SOUS 9899 HAS SOUPS 9741 WITH SCORE 9765.83
AT ITER 2065 NEW BEST:: SOT 36569 SOS 24803 HAS SOPS 21020 HAS SOUS 9872 HAS SOUPS 9714 WITH SCORE 9738.803
AT ITER 2079 NEW BEST:: SOT 36538 SOS 24752 HAS SOPS 20969 HAS SOUS 9813 HAS SOUPS 9655 WITH SCORE 9679.752
AT ITER 2125 NEW BEST:: SOT 36538 SOS 24752 HAS SOPS 20968 HAS SOUS 9812 HAS SOUPS 9654 WITH SCORE 9678.752
AT ITER 2166 NEW BEST:: SOT 36514 SOS 24728 HAS SOPS 20944 HAS SOUS 9788 HAS SOUPS 9630 WITH SCORE 9654.728
AT ITER 2210 NEW BEST:: SOT 36664 SOS 24890 HAS SOPS 21112 HAS SOUS 9650 HAS SOUPS 9492 WITH SCORE 9516.89
AT ITER 2330 NEW BEST:: SOT 36659 SOS 24885 HAS SOPS 21110 HAS SOUS 9648 HAS SOUPS 9490 WITH SCORE 9514.885
AT ITER 2333 NEW BEST:: SOT 36649 SOS 24816 HAS SOPS 20947 HAS SOUS 9602 HAS SOUPS 9444 WITH SCORE 9468.816
AT ITER 2357 NEW BEST:: SOT 36642 SOS 24809 HAS SOPS 20940 HAS SOUS 9595 HAS SOUPS 9437 WITH SCORE 9461.809
AT ITER 2458 NEW BEST:: SOT 36594 SOS 24761 HAS SOPS 20892 HAS SOUS 9547 HAS SOUPS 9389 WITH SCORE 9413.761
AT ITER 2523 NEW BEST:: SOT 36594 SOS 24759 HAS SOPS 20890 HAS SOUS 9545 HAS SOUPS 9387 WITH SCORE 9411.759
AT ITER 2525 NEW BEST:: SOT 36578 SOS 24737 HAS SOPS 20866 HAS SOUS 9510 HAS SOUPS 9352 WITH SCORE 9376.737
AT ITER 2528 NEW BEST:: SOT 36576 SOS 24735 HAS SOPS 20864 HAS SOUS 9508 HAS SOUPS 9350 WITH SCORE 9374.735
AT ITER 2546 NEW BEST:: SOT 36570 SOS 24729 HAS SOPS 20858 HAS SOUS 9502 HAS SOUPS 9344 WITH SCORE 9368.729
AT ITER 2625 NEW BEST:: SOT 36906 SOS 25065 HAS SOPS 20940 HAS SOUS 9379 HAS SOUPS 9221 WITH SCORE 9246.065
AT ITER 2630 NEW BEST:: SOT 36838 SOS 24997 HAS SOPS 20872 HAS SOUS 9316 HAS SOUPS 9158 WITH SCORE 9182.997
AT ITER 2696 NEW BEST:: SOT 36825 SOS 24984 HAS SOPS 20859 HAS SOUS 9303 HAS SOUPS 9145 WITH SCORE 9169.984
AT ITER 2700 NEW BEST:: SOT 36820 SOS 24979 HAS SOPS 20849 HAS SOUS 9293 HAS SOUPS 9135 WITH SCORE 9159.979
AT ITER 2719 NEW BEST:: SOT 36832 SOS 24991 HAS SOPS 20837 HAS SOUS 9281 HAS SOUPS 9123 WITH SCORE 9147.991
AT ITER 2723 NEW BEST:: SOT 36812 SOS 24971 HAS SOPS 20817 HAS SOUS 9245 HAS SOUPS 9087 WITH SCORE 9111.971
AT ITER 2795 NEW BEST:: SOT 36812 SOS 24969 HAS SOPS 20815 HAS SOUS 9243 HAS SOUPS 9085 WITH SCORE 9109.969
AT ITER 2813 NEW BEST:: SOT 36806 SOS 24963 HAS SOPS 20809 HAS SOUS 9237 HAS SOUPS 9079 WITH SCORE 9103.963
AT ITER 2830 NEW BEST:: SOT 36766 SOS 25226 HAS SOPS 20986 HAS SOUS 9071 HAS SOUPS 8913 WITH SCORE 8938.226
AT ITER 2851 NEW BEST:: SOT 36765 SOS 25225 HAS SOPS 20968 HAS SOUS 9053 HAS SOUPS 8895 WITH SCORE 8920.225
AT ITER 2856 NEW BEST:: SOT 36751 SOS 25211 HAS SOPS 20954 HAS SOUS 9039 HAS SOUPS 8881 WITH SCORE 8906.211
AT ITER 2936 NEW BEST:: SOT 36697 SOS 25162 HAS SOPS 20905 HAS SOUS 9030 HAS SOUPS 8872 WITH SCORE 8897.162
AT ITER 2942 NEW BEST:: SOT 36690 SOS 25155 HAS SOPS 20898 HAS SOUS 9023 HAS SOUPS 8865 WITH SCORE 8890.155
AT ITER 3022 NEW BEST:: SOT 36683 SOS 25148 HAS SOPS 20891 HAS SOUS 9008 HAS SOUPS 8850 WITH SCORE 8875.148
AT ITER 3075 NEW BEST:: SOT 36682 SOS 25147 HAS SOPS 20890 HAS SOUS 9001 HAS SOUPS 8843 WITH SCORE 8868.147
AT ITER 3105 NEW BEST:: SOT 36220 SOS 24716 HAS SOPS 20459 HAS SOUS 8670 HAS SOUPS 8512 WITH SCORE 8536.716
AT ITER 3145 NEW BEST:: SOT 36208 SOS 24704 HAS SOPS 20442 HAS SOUS 8653 HAS SOUPS 8495 WITH SCORE 8519.704
AT ITER 3159 NEW BEST:: SOT 36270 SOS 24766 HAS SOPS 20488 HAS SOUS 8647 HAS SOUPS 8489 WITH SCORE 8513.766
AT ITER 3203 NEW BEST:: SOT 36255 SOS 24761 HAS SOPS 20483 HAS SOUS 8647 HAS SOUPS 8489 WITH SCORE 8513.761
AT ITER 3285 NEW BEST:: SOT 36255 SOS 24761 HAS SOPS 20482 HAS SOUS 8646 HAS SOUPS 8488 WITH SCORE 8512.761
AT ITER 3291 NEW BEST:: SOT 36249 SOS 24755 HAS SOPS 20476 HAS SOUS 8640 HAS SOUPS 8482 WITH SCORE 8506.755
AT ITER 3298 NEW BEST:: SOT 36249 SOS 24715 HAS SOPS 20436 HAS SOUS 8638 HAS SOUPS 8480 WITH SCORE 8504.715
AT ITER 3353 NEW BEST:: SOT 36247 SOS 24713 HAS SOPS 20434 HAS SOUS 8636 HAS SOUPS 8478 WITH SCORE 8502.713
AT ITER 3488 NEW BEST:: SOT 36245 SOS 24711 HAS SOPS 20432 HAS SOUS 8634 HAS SOUPS 8476 WITH SCORE 8500.711
AT ITER 3599 NEW BEST:: SOT 36245 SOS 24711 HAS SOPS 20432 HAS SOUS 8631 HAS SOUPS 8473 WITH SCORE 8497.711
AT ITER 3636 NEW BEST:: SOT 36245 SOS 24701 HAS SOPS 20422 HAS SOUS 8621 HAS SOUPS 8463 WITH SCORE 8487.701
AT ITER 3649 NEW BEST:: SOT 36225 SOS 24681 HAS SOPS 20402 HAS SOUS 8602 HAS SOUPS 8444 WITH SCORE 8468.681
AT ITER 3684 NEW BEST:: SOT 36225 SOS 24670 HAS SOPS 20391 HAS SOUS 8602 HAS SOUPS 8444 WITH SCORE 8468.67
AT ITER 3732 NEW BEST:: SOT 36270 SOS 24706 HAS SOPS 20408 HAS SOUS 8531 HAS SOUPS 8373 WITH SCORE 8397.706
AT ITER 3795 NEW BEST:: SOT 36270 SOS 24961 HAS SOPS 20123 HAS SOUS 8534 HAS SOUPS 8349 WITH SCORE 8373.961
AT ITER 3826 NEW BEST:: SOT 36265 SOS 24956 HAS SOPS 20118 HAS SOUS 8529 HAS SOUPS 8344 WITH SCORE 8368.956
AT ITER 3849 NEW BEST:: SOT 36260 SOS 24767 HAS SOPS 20069 HAS SOUS 8509 HAS SOUPS 8331 WITH SCORE 8355.767
AT ITER 4056 NEW BEST:: SOT 36265 SOS 24772 HAS SOPS 20074 HAS SOUS 8508 HAS SOUPS 8330 WITH SCORE 8354.772
AT ITER 4069 NEW BEST:: SOT 36243 SOS 24750 HAS SOPS 20053 HAS SOUS 8487 HAS SOUPS 8309 WITH SCORE 8333.75
AT ITER 4082 NEW BEST:: SOT 36243 SOS 24692 HAS SOPS 19995 HAS SOUS 8486 HAS SOUPS 8308 WITH SCORE 8332.692
AT ITER 4137 NEW BEST:: SOT 36225 SOS 24674 HAS SOPS 19977 HAS SOUS 8468 HAS SOUPS 8290 WITH SCORE 8314.674
AT ITER 4139 NEW BEST:: SOT 36210 SOS 24659 HAS SOPS 19967 HAS SOUS 8458 HAS SOUPS 8280 WITH SCORE 8304.659
AT ITER 4257 NEW BEST:: SOT 36209 SOS 24658 HAS SOPS 19966 HAS SOUS 8457 HAS SOUPS 8279 WITH SCORE 8303.658
AT ITER 4386 NEW BEST:: SOT 36189 SOS 24638 HAS SOPS 19945 HAS SOUS 8436 HAS SOUPS 8258 WITH SCORE 8282.638
AT ITER 4418 NEW BEST:: SOT 36188 SOS 24637 HAS SOPS 19944 HAS SOUS 8435 HAS SOUPS 8257 WITH SCORE 8281.637
AT ITER 4609 NEW BEST:: SOT 36177 SOS 24626 HAS SOPS 19930 HAS SOUS 8421 HAS SOUPS 8243 WITH SCORE 8267.626
AT ITER 4654 NEW BEST:: SOT 36177 SOS 24605 HAS SOPS 19929 HAS SOUS 8419 HAS SOUPS 8242 WITH SCORE 8266.605
AT ITER 4671 NEW BEST:: SOT 36204 SOS 24632 HAS SOPS 19901 HAS SOUS 8386 HAS SOUPS 8209 WITH SCORE 8233.632
AT ITER 4722 NEW BEST:: SOT 36202 SOS 24630 HAS SOPS 19899 HAS SOUS 8384 HAS SOUPS 8207 WITH SCORE 8231.63
AT ITER 4723 NEW BEST:: SOT 36198 SOS 24626 HAS SOPS 19896 HAS SOUS 8381 HAS SOUPS 8204 WITH SCORE 8228.626
AT ITER 4743 NEW BEST:: SOT 36146 SOS 24574 HAS SOPS 19844 HAS SOUS 8349 HAS SOUPS 8172 WITH SCORE 8196.574
AT ITER 4839 NEW BEST:: SOT 36147 SOS 24575 HAS SOPS 19843 HAS SOUS 8348 HAS SOUPS 8171 WITH SCORE 8195.575
AT ITER 4840 NEW BEST:: SOT 36099 SOS 24527 HAS SOPS 19810 HAS SOUS 8318 HAS SOUPS 8143 WITH SCORE 8167.527
AT ITER 4943 NEW BEST:: SOT 36099 SOS 24507 HAS SOPS 19790 HAS SOUS 8317 HAS SOUPS 8142 WITH SCORE 8166.507
AT ITER 4987 NEW BEST:: SOT 36079 SOS 24494 HAS SOPS 19772 HAS SOUS 8299 HAS SOUPS 8124 WITH SCORE 8148.494
AT ITER 5008 NEW BEST:: SOT 36077 SOS 24492 HAS SOPS 19770 HAS SOUS 8297 HAS SOUPS 8122 WITH SCORE 8146.492
AT ITER 5022 NEW BEST:: SOT 36077 SOS 24292 HAS SOPS 19570 HAS SOUS 8271 HAS SOUPS 8096 WITH SCORE 8120.292
AT ITER 5155 NEW BEST:: SOT 36075 SOS 24290 HAS SOPS 19570 HAS SOUS 8271 HAS SOUPS 8096 WITH SCORE 8120.29
AT ITER 5245 NEW BEST:: SOT 36060 SOS 24275 HAS SOPS 19556 HAS SOUS 8257 HAS SOUPS 8082 WITH SCORE 8106.275
AT ITER 5321 NEW BEST:: SOT 36056 SOS 24271 HAS SOPS 19552 HAS SOUS 8253 HAS SOUPS 8078 WITH SCORE 8102.271
AT ITER 5352 NEW BEST:: SOT 36056 SOS 24267 HAS SOPS 19548 HAS SOUS 8249 HAS SOUPS 8074 WITH SCORE 8098.267
AT ITER 5361 NEW BEST:: SOT 36070 SOS 24278 HAS SOPS 19559 HAS SOUS 8220 HAS SOUPS 8045 WITH SCORE 8069.278
AT ITER 5374 NEW BEST:: SOT 36070 SOS 24273 HAS SOPS 19554 HAS SOUS 8215 HAS SOUPS 8040 WITH SCORE 8064.273
AT ITER 5510 NEW BEST:: SOT 36091 SOS 24294 HAS SOPS 19551 HAS SOUS 8212 HAS SOUPS 8037 WITH SCORE 8061.294
AT ITER 5529 NEW BEST:: SOT 36091 SOS 24142 HAS SOPS 19399 HAS SOUS 8210 HAS SOUPS 8035 WITH SCORE 8059.142
AT ITER 5591 NEW BEST:: SOT 36085 SOS 24136 HAS SOPS 19391 HAS SOUS 8202 HAS SOUPS 8027 WITH SCORE 8051.136
AT ITER 5634 NEW BEST:: SOT 36083 SOS 24134 HAS SOPS 19389 HAS SOUS 8200 HAS SOUPS 8025 WITH SCORE 8049.134
AT ITER 5674 NEW BEST:: SOT 36081 SOS 24132 HAS SOPS 19387 HAS SOUS 8198 HAS SOUPS 8023 WITH SCORE 8047.132
AT ITER 5688 NEW BEST:: SOT 36081 SOS 24132 HAS SOPS 19385 HAS SOUS 8196 HAS SOUPS 8021 WITH SCORE 8045.132
AT ITER 5886 NEW BEST:: SOT 36073 SOS 24124 HAS SOPS 19377 HAS SOUS 8188 HAS SOUPS 8013 WITH SCORE 8037.124
AT ITER 5902 NEW BEST:: SOT 36064 SOS 24115 HAS SOPS 19377 HAS SOUS 8188 HAS SOUPS 8013 WITH SCORE 8037.115
AT ITER 5903 NEW BEST:: SOT 36059 SOS 24110 HAS SOPS 19365 HAS SOUS 8183 HAS SOUPS 8008 WITH SCORE 8032.11
AT ITER 6037 NEW BEST:: SOT 36058 SOS 24109 HAS SOPS 19364 HAS SOUS 8182 HAS SOUPS 8007 WITH SCORE 8031.109
AT ITER 6070 NEW BEST:: SOT 36058 SOS 24109 HAS SOPS 19361 HAS SOUS 8163 HAS SOUPS 7988 WITH SCORE 8012.109
AT ITER 6116 NEW BEST:: SOT 36058 SOS 24108 HAS SOPS 19360 HAS SOUS 8162 HAS SOUPS 7987 WITH SCORE 8011.108
AT ITER 6165 NEW BEST:: SOT 36054 SOS 24104 HAS SOPS 19356 HAS SOUS 8158 HAS SOUPS 7983 WITH SCORE 8007.104
AT ITER 6170 NEW BEST:: SOT 36029 SOS 24079 HAS SOPS 19341 HAS SOUS 8143 HAS SOUPS 7968 WITH SCORE 7992.079
AT ITER 6173 NEW BEST:: SOT 36027 SOS 24076 HAS SOPS 19338 HAS SOUS 8140 HAS SOUPS 7965 WITH SCORE 7989.076
AT ITER 6174 NEW BEST:: SOT 35846 SOS 23895 HAS SOPS 19218 HAS SOUS 8128 HAS SOUPS 7953 WITH SCORE 7976.895
AT ITER 6290 NEW BEST:: SOT 35841 SOS 23890 HAS SOPS 19212 HAS SOUS 8122 HAS SOUPS 7947 WITH SCORE 7970.89
AT ITER 6324 NEW BEST:: SOT 35841 SOS 23890 HAS SOPS 19209 HAS SOUS 8119 HAS SOUPS 7944 WITH SCORE 7967.89
AT ITER 6363 NEW BEST:: SOT 35761 SOS 23810 HAS SOPS 19129 HAS SOUS 8085 HAS SOUPS 7910 WITH SCORE 7933.81
AT ITER 6368 NEW BEST:: SOT 35755 SOS 23804 HAS SOPS 19124 HAS SOUS 8080 HAS SOUPS 7905 WITH SCORE 7928.804
AT ITER 6426 NEW BEST:: SOT 35758 SOS 23807 HAS SOPS 19119 HAS SOUS 8075 HAS SOUPS 7900 WITH SCORE 7923.807
AT ITER 6456 NEW BEST:: SOT 35769 SOS 23818 HAS SOPS 19121 HAS SOUS 8072 HAS SOUPS 7897 WITH SCORE 7920.818
AT ITER 6462 NEW BEST:: SOT 35738 SOS 23787 HAS SOPS 19096 HAS SOUS 8047 HAS SOUPS 7872 WITH SCORE 7895.787
AT ITER 6470 NEW BEST:: SOT 35734 SOS 23783 HAS SOPS 19087 HAS SOUS 8038 HAS SOUPS 7863 WITH SCORE 7886.783
AT ITER 6478 NEW BEST:: SOT 35732 SOS 23781 HAS SOPS 19085 HAS SOUS 8032 HAS SOUPS 7857 WITH SCORE 7880.781
AT ITER 6591 NEW BEST:: SOT 35730 SOS 23779 HAS SOPS 19083 HAS SOUS 8030 HAS SOUPS 7855 WITH SCORE 7878.779
AT ITER 6667 NEW BEST:: SOT 35794 SOS 23843 HAS SOPS 19138 HAS SOUS 7989 HAS SOUPS 7814 WITH SCORE 7837.843
AT ITER 6857 NEW BEST:: SOT 35792 SOS 23841 HAS SOPS 19138 HAS SOUS 7987 HAS SOUPS 7814 WITH SCORE 7837.841
AT ITER 6963 NEW BEST:: SOT 35797 SOS 23846 HAS SOPS 19124 HAS SOUS 7973 HAS SOUPS 7800 WITH SCORE 7823.846
AT ITER 6986 NEW BEST:: SOT 35796 SOS 23845 HAS SOPS 19120 HAS SOUS 7969 HAS SOUPS 7796 WITH SCORE 7819.845
AT ITER 7046 NEW BEST:: SOT 35757 SOS 23806 HAS SOPS 19105 HAS SOUS 7954 HAS SOUPS 7781 WITH SCORE 7804.806
AT ITER 7161 NEW BEST:: SOT 35751 SOS 23800 HAS SOPS 19097 HAS SOUS 7946 HAS SOUPS 7773 WITH SCORE 7796.8
AT ITER 7166 NEW BEST:: SOT 35755 SOS 23804 HAS SOPS 19096 HAS SOUS 7945 HAS SOUPS 7772 WITH SCORE 7795.804
AT ITER 7194 NEW BEST:: SOT 35755 SOS 23803 HAS SOPS 19095 HAS SOUS 7944 HAS SOUPS 7771 WITH SCORE 7794.803
AT ITER 7204 NEW BEST:: SOT 35755 SOS 23763 HAS SOPS 19055 HAS SOUS 7942 HAS SOUPS 7769 WITH SCORE 7792.763
AT ITER 7216 NEW BEST:: SOT 35753 SOS 23760 HAS SOPS 19052 HAS SOUS 7939 HAS SOUPS 7766 WITH SCORE 7789.76
AT ITER 7254 NEW BEST:: SOT 35746 SOS 23674 HAS SOPS 18966 HAS SOUS 7928 HAS SOUPS 7755 WITH SCORE 7778.674
AT ITER 7356 NEW BEST:: SOT 35762 SOS 23690 HAS SOPS 18982 HAS SOUS 7922 HAS SOUPS 7749 WITH SCORE 7772.69
AT ITER 7409 NEW BEST:: SOT 35759 SOS 23684 HAS SOPS 18979 HAS SOUS 7919 HAS SOUPS 7746 WITH SCORE 7769.684
AT ITER 7463 NEW BEST:: SOT 35757 SOS 23662 HAS SOPS 18957 HAS SOUS 7916 HAS SOUPS 7743 WITH SCORE 7766.662
AT ITER 7753 NEW BEST:: SOT 35758 SOS 23663 HAS SOPS 18946 HAS SOUS 7908 HAS SOUPS 7732 WITH SCORE 7755.663
AT ITER 7871 NEW BEST:: SOT 35758 SOS 23563 HAS SOPS 18846 HAS SOUS 7904 HAS SOUPS 7728 WITH SCORE 7751.563
AT ITER 8007 NEW BEST:: SOT 35801 SOS 23596 HAS SOPS 18847 HAS SOUS 7822 HAS SOUPS 7646 WITH SCORE 7669.596
AT ITER 8089 NEW BEST:: SOT 35801 SOS 23589 HAS SOPS 18840 HAS SOUS 7815 HAS SOUPS 7639 WITH SCORE 7662.589
AT ITER 8274 NEW BEST:: SOT 35801 SOS 23537 HAS SOPS 18769 HAS SOUS 7810 HAS SOUPS 7634 WITH SCORE 7657.537
AT ITER 8328 NEW BEST:: SOT 35797 SOS 23533 HAS SOPS 18765 HAS SOUS 7802 HAS SOUPS 7626 WITH SCORE 7649.533
AT ITER 8420 NEW BEST:: SOT 35833 SOS 23569 HAS SOPS 18772 HAS SOUS 7798 HAS SOUPS 7622 WITH SCORE 7645.569
AT ITER 8476 NEW BEST:: SOT 35834 SOS 23570 HAS SOPS 18767 HAS SOUS 7793 HAS SOUPS 7617 WITH SCORE 7640.57
AT ITER 8662 NEW BEST:: SOT 35814 SOS 23551 HAS SOPS 18748 HAS SOUS 7774 HAS SOUPS 7598 WITH SCORE 7621.551
AT ITER 8686 NEW BEST:: SOT 35812 SOS 23549 HAS SOPS 18748 HAS SOUS 7774 HAS SOUPS 7598 WITH SCORE 7621.549
AT ITER 8737 NEW BEST:: SOT 35812 SOS 23529 HAS SOPS 18728 HAS SOUS 7773 HAS SOUPS 7597 WITH SCORE 7620.529
AT ITER 8771 NEW BEST:: SOT 35812 SOS 23509 HAS SOPS 18708 HAS SOUS 7772 HAS SOUPS 7596 WITH SCORE 7619.509
AT ITER 8786 NEW BEST:: SOT 35812 SOS 23506 HAS SOPS 18705 HAS SOUS 7769 HAS SOUPS 7593 WITH SCORE 7616.506
AT ITER 8853 NEW BEST:: SOT 35800 SOS 23494 HAS SOPS 18699 HAS SOUS 7752 HAS SOUPS 7576 WITH SCORE 7599.494
AT ITER 9019 NEW BEST:: SOT 35797 SOS 23491 HAS SOPS 18696 HAS SOUS 7749 HAS SOUPS 7573 WITH SCORE 7596.491
AT ITER 9107 NEW BEST:: SOT 35797 SOS 23471 HAS SOPS 18676 HAS SOUS 7748 HAS SOUPS 7572 WITH SCORE 7595.471
AT ITER 9437 NEW BEST:: SOT 35799 SOS 23473 HAS SOPS 18675 HAS SOUS 7747 HAS SOUPS 7571 WITH SCORE 7594.473
AT ITER 9522 NEW BEST:: SOT 35798 SOS 23472 HAS SOPS 18673 HAS SOUS 7745 HAS SOUPS 7569 WITH SCORE 7592.472
AT ITER 9596 NEW BEST:: SOT 35796 SOS 23470 HAS SOPS 18671 HAS SOUS 7743 HAS SOUPS 7567 WITH SCORE 7590.47
AT ITER 9699 NEW BEST:: SOT 35794 SOS 23468 HAS SOPS 18671 HAS SOUS 7743 HAS SOUPS 7567 WITH SCORE 7590.468
AT ITER 9992 NEW BEST:: SOT 35790 SOS 23464 HAS SOPS 18667 HAS SOUS 7739 HAS SOUPS 7563 WITH SCORE 7586.464

BK_STOP 1589821358716

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 476 Aborted ${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"

# 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 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 r138-smll-158961502700312"
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 ;