Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813687800160.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BridgeAndVehicles-COL-V80P50N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813687800160
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 9.4K Feb 25 13:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 13:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 15:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 15:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 14:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 14:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 47K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678463927535

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=BridgeAndVehicles-COL-V80P50N50
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 15:58:50] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 15:58:51] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 15:58:51] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 15:58:51] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 15:58:52] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 908 ms
[2023-03-10 15:58:52] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 228 PT places and 1339138.0 transition bindings in 45 ms.
[2023-03-10 15:58:52] [INFO ] Unfolded HLPN to a Petri net with 228 places and 8588 transitions 67470 arcs in 570 ms.
[2023-03-10 15:58:52] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 15:58:56] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 228 places, 8588 transitions and 67470 arcs took 265 ms.
Total runtime 5914 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (COL), instance V80P50N50
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: 228 places, 8588 transitions, 67470 arcs.
AT ITER 0 NEW BEST:: SOT 1238184 SOS 1217952 HAS SOPS 1209072 HAS SOUS 45601 HAS SOUPS 45543 WITH SCORE 46760.952
AT ITER 155 NEW BEST:: SOT 1238183 SOS 1217951 HAS SOPS 1209071 HAS SOUS 45547 HAS SOUPS 45489 WITH SCORE 46706.951
AT ITER 181 NEW BEST:: SOT 1238182 SOS 1217950 HAS SOPS 1209070 HAS SOUS 45544 HAS SOUPS 45486 WITH SCORE 46703.95
AT ITER 213 NEW BEST:: SOT 1238029 SOS 1217797 HAS SOPS 1208917 HAS SOUS 45391 HAS SOUPS 45333 WITH SCORE 46550.797
AT ITER 270 NEW BEST:: SOT 1238028 SOS 1217796 HAS SOPS 1208916 HAS SOUS 45388 HAS SOUPS 45330 WITH SCORE 46547.796
AT ITER 278 NEW BEST:: SOT 1238027 SOS 1217795 HAS SOPS 1208915 HAS SOUS 45385 HAS SOUPS 45327 WITH SCORE 46544.795
AT ITER 320 NEW BEST:: SOT 1238056 SOS 1217824 HAS SOPS 1208944 HAS SOUS 44889 HAS SOUPS 44831 WITH SCORE 46048.824
AT ITER 506 NEW BEST:: SOT 1238055 SOS 1217823 HAS SOPS 1208943 HAS SOUS 44886 HAS SOUPS 44828 WITH SCORE 46045.823
AT ITER 520 NEW BEST:: SOT 1238121 SOS 1217889 HAS SOPS 1209009 HAS SOUS 44501 HAS SOUPS 44443 WITH SCORE 45660.889
AT ITER 526 NEW BEST:: SOT 1238145 SOS 1217913 HAS SOPS 1209033 HAS SOUS 44041 HAS SOUPS 43983 WITH SCORE 45200.913
AT ITER 528 NEW BEST:: SOT 1238144 SOS 1217912 HAS SOPS 1209032 HAS SOUS 44038 HAS SOUPS 43980 WITH SCORE 45197.912
AT ITER 609 NEW BEST:: SOT 1238143 SOS 1217913 HAS SOPS 1208553 HAS SOUS 44039 HAS SOUPS 43975 WITH SCORE 45192.913
AT ITER 717 NEW BEST:: SOT 1238142 SOS 1217912 HAS SOPS 1208552 HAS SOUS 44036 HAS SOUPS 43972 WITH SCORE 45189.912
AT ITER 742 NEW BEST:: SOT 1238140 SOS 1217910 HAS SOPS 1208550 HAS SOUS 44030 HAS SOUPS 43966 WITH SCORE 45183.91
AT ITER 777 NEW BEST:: SOT 1238123 SOS 1217893 HAS SOPS 1208533 HAS SOUS 43979 HAS SOUPS 43915 WITH SCORE 45132.893
AT ITER 868 NEW BEST:: SOT 1238123 SOS 1103683 HAS SOPS 1097043 HAS SOUS 43962 HAS SOUPS 43915 WITH SCORE 45018.683
AT ITER 884 NEW BEST:: SOT 1238122 SOS 1103682 HAS SOPS 1097042 HAS SOUS 43959 HAS SOUPS 43912 WITH SCORE 45015.682
AT ITER 936 NEW BEST:: SOT 1238317 SOS 1103889 HAS SOPS 1097249 HAS SOUS 43957 HAS SOUPS 43910 WITH SCORE 45013.889
AT ITER 939 NEW BEST:: SOT 1238316 SOS 1103888 HAS SOPS 1097248 HAS SOUS 43903 HAS SOUPS 43856 WITH SCORE 44959.888
AT ITER 1101 NEW BEST:: SOT 1238315 SOS 1103887 HAS SOPS 1097247 HAS SOUS 43900 HAS SOUPS 43853 WITH SCORE 44956.887
AT ITER 1159 NEW BEST:: SOT 1238302 SOS 1103874 HAS SOPS 1097234 HAS SOUS 43861 HAS SOUPS 43814 WITH SCORE 44917.874
AT ITER 1176 NEW BEST:: SOT 1238302 SOS 1105678 HAS SOPS 1099038 HAS SOUS 43850 HAS SOUPS 43803 WITH SCORE 44908.678
AT ITER 1195 NEW BEST:: SOT 1241301 SOS 1108737 HAS SOPS 1102097 HAS SOUS 43469 HAS SOUPS 43422 WITH SCORE 44530.737
AT ITER 1323 NEW BEST:: SOT 1241274 SOS 1108710 HAS SOPS 1102070 HAS SOUS 43388 HAS SOUPS 43341 WITH SCORE 44449.71
AT ITER 1334 NEW BEST:: SOT 1244556 SOS 1112057 HAS SOPS 1105417 HAS SOUS 43089 HAS SOUPS 43042 WITH SCORE 44154.057
AT ITER 1344 NEW BEST:: SOT 1240913 SOS 1108414 HAS SOPS 1101774 HAS SOUS 36688 HAS SOUPS 36641 WITH SCORE 37749.414
AT ITER 1357 NEW BEST:: SOT 1240905 SOS 1108406 HAS SOPS 1101766 HAS SOUS 36664 HAS SOUPS 36617 WITH SCORE 37725.406
AT ITER 1405 NEW BEST:: SOT 1240871 SOS 1108372 HAS SOPS 1101732 HAS SOUS 36596 HAS SOUPS 36549 WITH SCORE 37657.372
AT ITER 1461 NEW BEST:: SOT 1240864 SOS 1108365 HAS SOPS 1101725 HAS SOUS 36575 HAS SOUPS 36528 WITH SCORE 37636.365
AT ITER 1489 NEW BEST:: SOT 1240866 SOS 1010379 HAS SOPS 1009579 HAS SOUS 36478 HAS SOUPS 36468 WITH SCORE 37478.379
AT ITER 1492 NEW BEST:: SOT 1240858 SOS 1010371 HAS SOPS 1009571 HAS SOUS 36462 HAS SOUPS 36452 WITH SCORE 37462.371
AT ITER 1523 NEW BEST:: SOT 1240854 SOS 1010367 HAS SOPS 1009567 HAS SOUS 36454 HAS SOUPS 36444 WITH SCORE 37454.367
AT ITER 1534 NEW BEST:: SOT 1243431 SOS 1013063 HAS SOPS 1012263 HAS SOUS 35623 HAS SOUPS 35613 WITH SCORE 36626.063
AT ITER 1577 NEW BEST:: SOT 1243632 SOS 1013264 HAS SOPS 1012464 HAS SOUS 33622 HAS SOUPS 33612 WITH SCORE 34625.264
AT ITER 1696 NEW BEST:: SOT 1243630 SOS 1013262 HAS SOPS 1012462 HAS SOUS 33618 HAS SOUPS 33608 WITH SCORE 34621.262
AT ITER 1708 NEW BEST:: SOT 1243566 SOS 1013198 HAS SOPS 1012398 HAS SOUS 33490 HAS SOUPS 33480 WITH SCORE 34493.198
AT ITER 1762 NEW BEST:: SOT 1243550 SOS 1013182 HAS SOPS 1012382 HAS SOUS 33458 HAS SOUPS 33448 WITH SCORE 34461.182
AT ITER 1772 NEW BEST:: SOT 1243548 SOS 1013180 HAS SOPS 1012380 HAS SOUS 33454 HAS SOUPS 33444 WITH SCORE 34457.18
AT ITER 1786 NEW BEST:: SOT 1243541 SOS 1013173 HAS SOPS 1012373 HAS SOUS 33433 HAS SOUPS 33423 WITH SCORE 34436.173
AT ITER 1883 NEW BEST:: SOT 1244768 SOS 1014400 HAS SOPS 1013600 HAS SOUS 33128 HAS SOUPS 33118 WITH SCORE 34132.4
AT ITER 1977 NEW BEST:: SOT 1244768 SOS 1014078 HAS SOPS 1013278 HAS SOUS 33124 HAS SOUPS 33114 WITH SCORE 34128.078
AT ITER 2007 NEW BEST:: SOT 1244772 SOS 1014093 HAS SOPS 1012653 HAS SOUS 33118 HAS SOUPS 33108 WITH SCORE 34122.093
AT ITER 2033 NEW BEST:: SOT 1244748 SOS 1014069 HAS SOPS 1012629 HAS SOUS 33070 HAS SOUPS 33060 WITH SCORE 34074.069
AT ITER 2061 NEW BEST:: SOT 1244773 SOS 1014094 HAS SOPS 1012654 HAS SOUS 33043 HAS SOUPS 33033 WITH SCORE 34047.094
AT ITER 2075 NEW BEST:: SOT 1244773 SOS 1014092 HAS SOPS 1012652 HAS SOUS 33043 HAS SOUPS 33033 WITH SCORE 34047.092
AT ITER 2110 NEW BEST:: SOT 1244771 SOS 1014090 HAS SOPS 1012650 HAS SOUS 33039 HAS SOUPS 33029 WITH SCORE 34043.09
AT ITER 2137 NEW BEST:: SOT 1247289 SOS 1016630 HAS SOPS 1015190 HAS SOUS 32835 HAS SOUPS 32825 WITH SCORE 33841.63
AT ITER 2150 NEW BEST:: SOT 1247287 SOS 1016628 HAS SOPS 1015188 HAS SOUS 32831 HAS SOUPS 32821 WITH SCORE 33837.628
AT ITER 2177 NEW BEST:: SOT 1248440 SOS 1017811 HAS SOPS 1016371 HAS SOUS 32682 HAS SOUPS 32672 WITH SCORE 33689.811
AT ITER 2183 NEW BEST:: SOT 1248435 SOS 1017806 HAS SOPS 1016366 HAS SOUS 32673 HAS SOUPS 32663 WITH SCORE 33680.806
AT ITER 2214 NEW BEST:: SOT 1248421 SOS 1017792 HAS SOPS 1016352 HAS SOUS 32637 HAS SOUPS 32627 WITH SCORE 33644.792
AT ITER 2261 NEW BEST:: SOT 1248421 SOS 1017790 HAS SOPS 1016350 HAS SOUS 32637 HAS SOUPS 32627 WITH SCORE 33644.79
AT ITER 2277 NEW BEST:: SOT 1248417 SOS 1017786 HAS SOPS 1016346 HAS SOUS 32629 HAS SOUPS 32619 WITH SCORE 33636.786
AT ITER 2309 NEW BEST:: SOT 1248415 SOS 1017784 HAS SOPS 1016344 HAS SOUS 32625 HAS SOUPS 32615 WITH SCORE 33632.784
AT ITER 2346 NEW BEST:: SOT 1248413 SOS 1017782 HAS SOPS 1016342 HAS SOUS 32621 HAS SOUPS 32611 WITH SCORE 33628.782
AT ITER 2347 NEW BEST:: SOT 1248409 SOS 1017778 HAS SOPS 1016338 HAS SOUS 32613 HAS SOUPS 32603 WITH SCORE 33620.778
AT ITER 2393 NEW BEST:: SOT 1248408 SOS 1017777 HAS SOPS 1016337 HAS SOUS 32610 HAS SOUPS 32600 WITH SCORE 33617.777
AT ITER 2395 NEW BEST:: SOT 1248408 SOS 1017775 HAS SOPS 1016335 HAS SOUS 32610 HAS SOUPS 32600 WITH SCORE 33617.775
AT ITER 2408 NEW BEST:: SOT 1248398 SOS 1017765 HAS SOPS 1016325 HAS SOUS 32590 HAS SOUPS 32580 WITH SCORE 33597.765
AT ITER 2413 NEW BEST:: SOT 1248396 SOS 1017763 HAS SOPS 1016323 HAS SOUS 32586 HAS SOUPS 32576 WITH SCORE 33593.763
AT ITER 2447 NEW BEST:: SOT 1248396 SOS 1017761 HAS SOPS 1016321 HAS SOUS 32586 HAS SOUPS 32576 WITH SCORE 33593.761
AT ITER 2455 NEW BEST:: SOT 1248396 SOS 1017759 HAS SOPS 1016319 HAS SOUS 32586 HAS SOUPS 32576 WITH SCORE 33593.759
AT ITER 2456 NEW BEST:: SOT 1248396 SOS 1014488 HAS SOPS 1013048 HAS SOUS 32545 HAS SOUPS 32535 WITH SCORE 33549.488
AT ITER 2482 NEW BEST:: SOT 1248351 SOS 1014443 HAS SOPS 1013003 HAS SOUS 32498 HAS SOUPS 32488 WITH SCORE 33502.443
AT ITER 2527 NEW BEST:: SOT 1248954 SOS 1015046 HAS SOPS 1013606 HAS SOUS 32232 HAS SOUPS 32222 WITH SCORE 33237.046
AT ITER 2545 NEW BEST:: SOT 1248954 SOS 1014169 HAS SOPS 1012729 HAS SOUS 32221 HAS SOUPS 32211 WITH SCORE 33225.169
AT ITER 2673 NEW BEST:: SOT 1248938 SOS 1014153 HAS SOPS 1012713 HAS SOUS 32201 HAS SOUPS 32191 WITH SCORE 33205.153
AT ITER 2690 NEW BEST:: SOT 1248928 SOS 1014143 HAS SOPS 1012703 HAS SOUS 32191 HAS SOUPS 32181 WITH SCORE 33195.143
AT ITER 2696 NEW BEST:: SOT 1248920 SOS 1014135 HAS SOPS 1012695 HAS SOUS 31665 HAS SOUPS 31655 WITH SCORE 32669.135
AT ITER 2711 NEW BEST:: SOT 1248920 SOS 1014133 HAS SOPS 1012693 HAS SOUS 31665 HAS SOUPS 31655 WITH SCORE 32669.133
AT ITER 2759 NEW BEST:: SOT 1248920 SOS 1014109 HAS SOPS 1012669 HAS SOUS 31665 HAS SOUPS 31655 WITH SCORE 32669.109
AT ITER 2762 NEW BEST:: SOT 1248920 SOS 1013627 HAS SOPS 1012187 HAS SOUS 31659 HAS SOUPS 31649 WITH SCORE 32662.627
AT ITER 2802 NEW BEST:: SOT 1249442 SOS 1014149 HAS SOPS 1012709 HAS SOUS 31653 HAS SOUPS 31643 WITH SCORE 32657.149
AT ITER 2873 NEW BEST:: SOT 1249442 SOS 1012853 HAS SOPS 1011413 HAS SOUS 31637 HAS SOUPS 31627 WITH SCORE 32639.853
AT ITER 2946 NEW BEST:: SOT 1249442 SOS 1012845 HAS SOPS 1011405 HAS SOUS 31637 HAS SOUPS 31627 WITH SCORE 32639.845
AT ITER 2999 NEW BEST:: SOT 1249420 SOS 1012823 HAS SOPS 1011383 HAS SOUS 31593 HAS SOUPS 31583 WITH SCORE 32595.823
AT ITER 3030 NEW BEST:: SOT 1249418 SOS 1012821 HAS SOPS 1011381 HAS SOUS 31589 HAS SOUPS 31579 WITH SCORE 32591.821
AT ITER 3056 NEW BEST:: SOT 1249416 SOS 1012819 HAS SOPS 1011379 HAS SOUS 31585 HAS SOUPS 31575 WITH SCORE 32587.819
AT ITER 3059 NEW BEST:: SOT 1249410 SOS 1012813 HAS SOPS 1011373 HAS SOUS 31573 HAS SOUPS 31563 WITH SCORE 32575.813
AT ITER 3125 NEW BEST:: SOT 1249406 SOS 1012809 HAS SOPS 1011369 HAS SOUS 31561 HAS SOUPS 31551 WITH SCORE 32563.809
AT ITER 3189 NEW BEST:: SOT 1249400 SOS 1012803 HAS SOPS 1011363 HAS SOUS 31549 HAS SOUPS 31539 WITH SCORE 32551.803
AT ITER 3226 NEW BEST:: SOT 1249398 SOS 1012801 HAS SOPS 1011361 HAS SOUS 31545 HAS SOUPS 31535 WITH SCORE 32547.801
AT ITER 3239 NEW BEST:: SOT 1249398 SOS 1012801 HAS SOPS 1011361 HAS SOUS 31519 HAS SOUPS 31509 WITH SCORE 32521.801
AT ITER 3249 NEW BEST:: SOT 1249394 SOS 1012797 HAS SOPS 1011357 HAS SOUS 31511 HAS SOUPS 31501 WITH SCORE 32513.797
AT ITER 3313 NEW BEST:: SOT 1249386 SOS 1012789 HAS SOPS 1011349 HAS SOUS 31495 HAS SOUPS 31485 WITH SCORE 32497.789
AT ITER 3352 NEW BEST:: SOT 1249386 SOS 1012787 HAS SOPS 1011347 HAS SOUS 31495 HAS SOUPS 31485 WITH SCORE 32497.787
AT ITER 3396 NEW BEST:: SOT 1249374 SOS 1012775 HAS SOPS 1011335 HAS SOUS 31475 HAS SOUPS 31465 WITH SCORE 32477.775
AT ITER 3427 NEW BEST:: SOT 1249314 SOS 1012715 HAS SOPS 1011275 HAS SOUS 31355 HAS SOUPS 31345 WITH SCORE 32357.715
AT ITER 3428 NEW BEST:: SOT 1249312 SOS 1012713 HAS SOPS 1011273 HAS SOUS 31351 HAS SOUPS 31341 WITH SCORE 32353.713
AT ITER 3430 NEW BEST:: SOT 1249302 SOS 1012703 HAS SOPS 1011263 HAS SOUS 31331 HAS SOUPS 31321 WITH SCORE 32333.703
AT ITER 3486 NEW BEST:: SOT 1249601 SOS 1013004 HAS SOPS 1011564 HAS SOUS 31328 HAS SOUPS 31318 WITH SCORE 32331.004
AT ITER 3518 NEW BEST:: SOT 1249583 SOS 1012986 HAS SOPS 1011546 HAS SOUS 31292 HAS SOUPS 31282 WITH SCORE 32294.986
AT ITER 3530 NEW BEST:: SOT 1249583 SOS 1012984 HAS SOPS 1011544 HAS SOUS 31292 HAS SOUPS 31282 WITH SCORE 32294.984
AT ITER 3569 NEW BEST:: SOT 1249571 SOS 1012972 HAS SOPS 1011532 HAS SOUS 31268 HAS SOUPS 31258 WITH SCORE 32270.972
AT ITER 3600 NEW BEST:: SOT 1249565 SOS 1012966 HAS SOPS 1011526 HAS SOUS 31256 HAS SOUPS 31246 WITH SCORE 32258.966
AT ITER 3607 NEW BEST:: SOT 1249565 SOS 1012964 HAS SOPS 1011524 HAS SOUS 31256 HAS SOUPS 31246 WITH SCORE 32258.964
AT ITER 3609 NEW BEST:: SOT 1249563 SOS 1012962 HAS SOPS 1011522 HAS SOUS 31252 HAS SOUPS 31242 WITH SCORE 32254.962
AT ITER 3663 NEW BEST:: SOT 1249549 SOS 1012948 HAS SOPS 1011508 HAS SOUS 31224 HAS SOUPS 31214 WITH SCORE 32226.948
AT ITER 3685 NEW BEST:: SOT 1249547 SOS 1012946 HAS SOPS 1011506 HAS SOUS 31220 HAS SOUPS 31210 WITH SCORE 32222.946
AT ITER 3710 NEW BEST:: SOT 1249547 SOS 1012307 HAS SOPS 1010867 HAS SOUS 31212 HAS SOUPS 31202 WITH SCORE 32214.307
AT ITER 3732 NEW BEST:: SOT 1249547 SOS 1012305 HAS SOPS 1010865 HAS SOUS 31212 HAS SOUPS 31202 WITH SCORE 32214.305
AT ITER 3745 NEW BEST:: SOT 1249543 SOS 1012301 HAS SOPS 1010861 HAS SOUS 31204 HAS SOUPS 31194 WITH SCORE 32206.301
AT ITER 3820 NEW BEST:: SOT 1249515 SOS 1012273 HAS SOPS 1010833 HAS SOUS 31148 HAS SOUPS 31138 WITH SCORE 32150.273
AT ITER 3851 NEW BEST:: SOT 1249515 SOS 1012263 HAS SOPS 1010823 HAS SOUS 31148 HAS SOUPS 31138 WITH SCORE 32150.263
AT ITER 3868 NEW BEST:: SOT 1249515 SOS 1012262 HAS SOPS 1010982 HAS SOUS 31146 HAS SOUPS 31137 WITH SCORE 32149.262
AT ITER 3875 NEW BEST:: SOT 1249515 SOS 1011382 HAS SOPS 1010102 HAS SOUS 31135 HAS SOUPS 31126 WITH SCORE 32137.382
AT ITER 3898 NEW BEST:: SOT 1249520 SOS 1010442 HAS SOPS 1010122 HAS SOUS 31060 HAS SOUPS 31057 WITH SCORE 32067.442
AT ITER 3926 NEW BEST:: SOT 1249519 SOS 1010441 HAS SOPS 1010121 HAS SOUS 31057 HAS SOUPS 31054 WITH SCORE 32064.441
AT ITER 3945 NEW BEST:: SOT 1249517 SOS 1010439 HAS SOPS 1010119 HAS SOUS 31053 HAS SOUPS 31050 WITH SCORE 32060.439
AT ITER 4011 NEW BEST:: SOT 1249513 SOS 1010435 HAS SOPS 1010115 HAS SOUS 31037 HAS SOUPS 31034 WITH SCORE 32044.435
AT ITER 4022 NEW BEST:: SOT 1249470 SOS 1010392 HAS SOPS 1010072 HAS SOUS 30966 HAS SOUPS 30963 WITH SCORE 31973.392
AT ITER 4027 NEW BEST:: SOT 1249470 SOS 1010386 HAS SOPS 1010066 HAS SOUS 30966 HAS SOUPS 30963 WITH SCORE 31973.386
AT ITER 4219 NEW BEST:: SOT 1249470 SOS 1010384 HAS SOPS 1010064 HAS SOUS 30966 HAS SOUPS 30963 WITH SCORE 31973.384
AT ITER 4235 NEW BEST:: SOT 1249470 SOS 1010148 HAS SOPS 1009828 HAS SOUS 30963 HAS SOUPS 30960 WITH SCORE 31970.148
AT ITER 4389 NEW BEST:: SOT 1249464 SOS 1010142 HAS SOPS 1009822 HAS SOUS 30951 HAS SOUPS 30948 WITH SCORE 31958.142
AT ITER 4463 NEW BEST:: SOT 1249462 SOS 1010140 HAS SOPS 1009820 HAS SOUS 30943 HAS SOUPS 30940 WITH SCORE 31950.14
AT ITER 4469 NEW BEST:: SOT 1249450 SOS 1010128 HAS SOPS 1009808 HAS SOUS 30931 HAS SOUPS 30928 WITH SCORE 31938.128
AT ITER 4489 NEW BEST:: SOT 1249450 SOS 1009160 HAS SOPS 1008840 HAS SOUS 30925 HAS SOUPS 30922 WITH SCORE 31931.16
AT ITER 4505 NEW BEST:: SOT 1249418 SOS 1009128 HAS SOPS 1008808 HAS SOUS 30861 HAS SOUPS 30858 WITH SCORE 31867.128
AT ITER 4577 NEW BEST:: SOT 1249416 SOS 1009126 HAS SOPS 1008806 HAS SOUS 30857 HAS SOUPS 30854 WITH SCORE 31863.126
AT ITER 4579 NEW BEST:: SOT 1249414 SOS 1009124 HAS SOPS 1008804 HAS SOUS 30853 HAS SOUPS 30850 WITH SCORE 31859.124
AT ITER 4593 NEW BEST:: SOT 1249414 SOS 1003718 HAS SOPS 1003398 HAS SOUS 30819 HAS SOUPS 30816 WITH SCORE 31819.718
AT ITER 4780 NEW BEST:: SOT 1249410 SOS 1003714 HAS SOPS 1003394 HAS SOUS 30811 HAS SOUPS 30808 WITH SCORE 31811.714
AT ITER 4794 NEW BEST:: SOT 1249406 SOS 1003710 HAS SOPS 1003390 HAS SOUS 30803 HAS SOUPS 30800 WITH SCORE 31803.71
AT ITER 4847 NEW BEST:: SOT 1249406 SOS 1003710 HAS SOPS 1003390 HAS SOUS 30799 HAS SOUPS 30796 WITH SCORE 31799.71
AT ITER 4976 NEW BEST:: SOT 1249392 SOS 1003696 HAS SOPS 1003376 HAS SOUS 30765 HAS SOUPS 30762 WITH SCORE 31765.696
AT ITER 5017 NEW BEST:: SOT 1249390 SOS 1003694 HAS SOPS 1003374 HAS SOUS 30751 HAS SOUPS 30748 WITH SCORE 31751.694
AT ITER 5049 NEW BEST:: SOT 1249388 SOS 1003692 HAS SOPS 1003372 HAS SOUS 30747 HAS SOUPS 30744 WITH SCORE 31747.692
AT ITER 5220 NEW BEST:: SOT 1249387 SOS 1003691 HAS SOPS 1003371 HAS SOUS 30744 HAS SOUPS 30741 WITH SCORE 31744.691
AT ITER 5223 NEW BEST:: SOT 1249373 SOS 1003677 HAS SOPS 1003357 HAS SOUS 30716 HAS SOUPS 30713 WITH SCORE 31716.677
AT ITER 5255 NEW BEST:: SOT 1249351 SOS 1003655 HAS SOPS 1003335 HAS SOUS 30672 HAS SOUPS 30669 WITH SCORE 31672.655
AT ITER 5266 NEW BEST:: SOT 1249349 SOS 1003653 HAS SOPS 1003333 HAS SOUS 30668 HAS SOUPS 30665 WITH SCORE 31668.653
AT ITER 5311 NEW BEST:: SOT 1249349 SOS 1003647 HAS SOPS 1003327 HAS SOUS 30668 HAS SOUPS 30665 WITH SCORE 31668.647
AT ITER 5330 NEW BEST:: SOT 1249338 SOS 1003636 HAS SOPS 1003316 HAS SOUS 30651 HAS SOUPS 30648 WITH SCORE 31651.636
AT ITER 5375 NEW BEST:: SOT 1249338 SOS 1003616 HAS SOPS 1003296 HAS SOUS 30651 HAS SOUPS 30648 WITH SCORE 31651.616
AT ITER 5393 NEW BEST:: SOT 1249336 SOS 1003614 HAS SOPS 1003294 HAS SOUS 30647 HAS SOUPS 30644 WITH SCORE 31647.614
AT ITER 5424 NEW BEST:: SOT 1248724 SOS 1003002 HAS SOPS 1002682 HAS SOUS 30628 HAS SOUPS 30625 WITH SCORE 31628.002
AT ITER 5469 NEW BEST:: SOT 1248717 SOS 1002995 HAS SOPS 1002675 HAS SOUS 30613 HAS SOUPS 30610 WITH SCORE 31612.995
AT ITER 5496 NEW BEST:: SOT 1248713 SOS 1002991 HAS SOPS 1002671 HAS SOUS 30142 HAS SOUPS 30139 WITH SCORE 31141.991
AT ITER 5498 NEW BEST:: SOT 1248713 SOS 1002989 HAS SOPS 1002669 HAS SOUS 30142 HAS SOUPS 30139 WITH SCORE 31141.989
AT ITER 5540 NEW BEST:: SOT 1248701 SOS 1002977 HAS SOPS 1002657 HAS SOUS 30118 HAS SOUPS 30115 WITH SCORE 31117.977
AT ITER 5553 NEW BEST:: SOT 1248701 SOS 1002977 HAS SOPS 1002657 HAS SOUS 30117 HAS SOUPS 30114 WITH SCORE 31116.977
AT ITER 5622 NEW BEST:: SOT 1248695 SOS 1002971 HAS SOPS 1002651 HAS SOUS 30105 HAS SOUPS 30102 WITH SCORE 31104.971
AT ITER 5627 NEW BEST:: SOT 1248689 SOS 1002965 HAS SOPS 1002645 HAS SOUS 30093 HAS SOUPS 30090 WITH SCORE 31092.965
AT ITER 5660 NEW BEST:: SOT 1248689 SOS 1002963 HAS SOPS 1002643 HAS SOUS 30093 HAS SOUPS 30090 WITH SCORE 31092.963
AT ITER 5688 NEW BEST:: SOT 1248689 SOS 1002959 HAS SOPS 1002639 HAS SOUS 30093 HAS SOUPS 30090 WITH SCORE 31092.959
AT ITER 5820 NEW BEST:: SOT 1249325 SOS 1003595 HAS SOPS 1003275 HAS SOUS 30060 HAS SOUPS 30057 WITH SCORE 31060.595
AT ITER 5836 NEW BEST:: SOT 1249321 SOS 1003591 HAS SOPS 1003271 HAS SOUS 30052 HAS SOUPS 30049 WITH SCORE 31052.591
AT ITER 5838 NEW BEST:: SOT 1249321 SOS 1003563 HAS SOPS 1003243 HAS SOUS 30052 HAS SOUPS 30049 WITH SCORE 31052.563
AT ITER 5880 NEW BEST:: SOT 1249319 SOS 1003561 HAS SOPS 1003241 HAS SOUS 30048 HAS SOUPS 30045 WITH SCORE 31048.561
AT ITER 5975 NEW BEST:: SOT 1249309 SOS 1003551 HAS SOPS 1003231 HAS SOUS 30028 HAS SOUPS 30025 WITH SCORE 31028.551
AT ITER 6022 NEW BEST:: SOT 1249309 SOS 1003541 HAS SOPS 1003221 HAS SOUS 30028 HAS SOUPS 30025 WITH SCORE 31028.541
AT ITER 6100 NEW BEST:: SOT 1249305 SOS 1003537 HAS SOPS 1003217 HAS SOUS 30020 HAS SOUPS 30017 WITH SCORE 31020.537
AT ITER 6121 NEW BEST:: SOT 1249303 SOS 1003535 HAS SOPS 1003215 HAS SOUS 30018 HAS SOUPS 30015 WITH SCORE 31018.535
AT ITER 6239 NEW BEST:: SOT 1249297 SOS 1003529 HAS SOPS 1003209 HAS SOUS 30006 HAS SOUPS 30003 WITH SCORE 31006.529
AT ITER 6340 NEW BEST:: SOT 1249295 SOS 1003527 HAS SOPS 1003207 HAS SOUS 30002 HAS SOUPS 29999 WITH SCORE 31002.527000000002
AT ITER 6341 NEW BEST:: SOT 1249295 SOS 1003517 HAS SOPS 1003197 HAS SOUS 30002 HAS SOUPS 29999 WITH SCORE 31002.517
AT ITER 6390 NEW BEST:: SOT 1249291 SOS 1003513 HAS SOPS 1003193 HAS SOUS 29994 HAS SOUPS 29991 WITH SCORE 30994.513
AT ITER 6399 NEW BEST:: SOT 1249289 SOS 1003511 HAS SOPS 1003191 HAS SOUS 29990 HAS SOUPS 29987 WITH SCORE 30990.511
AT ITER 6475 NEW BEST:: SOT 1249287 SOS 1003509 HAS SOPS 1003189 HAS SOUS 29986 HAS SOUPS 29983 WITH SCORE 30986.509
AT ITER 6482 NEW BEST:: SOT 1249281 SOS 1003503 HAS SOPS 1003183 HAS SOUS 29974 HAS SOUPS 29971 WITH SCORE 30974.503
AT ITER 6506 NEW BEST:: SOT 1249277 SOS 1003499 HAS SOPS 1003179 HAS SOUS 29966 HAS SOUPS 29963 WITH SCORE 30966.499
AT ITER 6599 NEW BEST:: SOT 1249329 SOS 1003551 HAS SOPS 1003231 HAS SOUS 29965 HAS SOUPS 29962 WITH SCORE 30965.551
AT ITER 6616 NEW BEST:: SOT 1249329 SOS 1003539 HAS SOPS 1003219 HAS SOUS 29965 HAS SOUPS 29962 WITH SCORE 30965.539
AT ITER 6899 NEW BEST:: SOT 1249645 SOS 1003855 HAS SOPS 1003535 HAS SOUS 29961 HAS SOUPS 29958 WITH SCORE 30961.855
AT ITER 6994 NEW BEST:: SOT 1249639 SOS 1003849 HAS SOPS 1003529 HAS SOUS 29949 HAS SOUPS 29946 WITH SCORE 30949.849
AT ITER 7055 NEW BEST:: SOT 1249635 SOS 1003845 HAS SOPS 1003525 HAS SOUS 29941 HAS SOUPS 29938 WITH SCORE 30941.845
AT ITER 7102 NEW BEST:: SOT 1249633 SOS 1003843 HAS SOPS 1003523 HAS SOUS 29937 HAS SOUPS 29934 WITH SCORE 30937.843
AT ITER 7117 NEW BEST:: SOT 1249627 SOS 1003837 HAS SOPS 1003517 HAS SOUS 29925 HAS SOUPS 29922 WITH SCORE 30925.837
AT ITER 7196 NEW BEST:: SOT 1249619 SOS 1003829 HAS SOPS 1003509 HAS SOUS 29909 HAS SOUPS 29906 WITH SCORE 30909.829
AT ITER 7305 NEW BEST:: SOT 1249665 SOS 1004515 HAS SOPS 1003795 HAS SOUS 29869 HAS SOUPS 29861 WITH SCORE 30865.515
AT ITER 7320 NEW BEST:: SOT 1249617 SOS 1004467 HAS SOPS 1003747 HAS SOUS 29819 HAS SOUPS 29811 WITH SCORE 30815.467
AT ITER 7358 NEW BEST:: SOT 1249615 SOS 1004465 HAS SOPS 1003745 HAS SOUS 29815 HAS SOUPS 29807 WITH SCORE 30811.465
AT ITER 7411 NEW BEST:: SOT 1249611 SOS 1004461 HAS SOPS 1003741 HAS SOUS 29807 HAS SOUPS 29799 WITH SCORE 30803.461
AT ITER 7422 NEW BEST:: SOT 1249611 SOS 1004455 HAS SOPS 1003735 HAS SOUS 29807 HAS SOUPS 29799 WITH SCORE 30803.455
AT ITER 7474 NEW BEST:: SOT 1249603 SOS 1004447 HAS SOPS 1003727 HAS SOUS 29791 HAS SOUPS 29783 WITH SCORE 30787.447
AT ITER 7488 NEW BEST:: SOT 1249595 SOS 1004439 HAS SOPS 1003719 HAS SOUS 29775 HAS SOUPS 29767 WITH SCORE 30771.439
AT ITER 7497 NEW BEST:: SOT 1249593 SOS 1004437 HAS SOPS 1003717 HAS SOUS 29771 HAS SOUPS 29763 WITH SCORE 30767.437
AT ITER 7532 NEW BEST:: SOT 1249589 SOS 1004433 HAS SOPS 1003713 HAS SOUS 29763 HAS SOUPS 29755 WITH SCORE 30759.433
AT ITER 7534 NEW BEST:: SOT 1249575 SOS 1004419 HAS SOPS 1003699 HAS SOUS 29735 HAS SOUPS 29727 WITH SCORE 30731.419
AT ITER 7542 NEW BEST:: SOT 1249573 SOS 1004417 HAS SOPS 1003697 HAS SOUS 29731 HAS SOUPS 29723 WITH SCORE 30727.417
AT ITER 7570 NEW BEST:: SOT 1249573 SOS 1004415 HAS SOPS 1003695 HAS SOUS 29731 HAS SOUPS 29723 WITH SCORE 30727.415
AT ITER 7666 NEW BEST:: SOT 1249571 SOS 1004413 HAS SOPS 1003693 HAS SOUS 29727 HAS SOUPS 29719 WITH SCORE 30723.413
AT ITER 7889 NEW BEST:: SOT 1249569 SOS 1004411 HAS SOPS 1003691 HAS SOUS 29723 HAS SOUPS 29715 WITH SCORE 30719.411
AT ITER 7932 NEW BEST:: SOT 1249565 SOS 1004407 HAS SOPS 1003687 HAS SOUS 29715 HAS SOUPS 29707 WITH SCORE 30711.407
AT ITER 7960 NEW BEST:: SOT 1249563 SOS 1004405 HAS SOPS 1003685 HAS SOUS 29711 HAS SOUPS 29703 WITH SCORE 30707.405
AT ITER 8034 NEW BEST:: SOT 1249593 SOS 997384 HAS SOPS 996484 HAS SOUS 29751 HAS SOUPS 29692 WITH SCORE 30689.384
AT ITER 8037 NEW BEST:: SOT 1249593 SOS 996319 HAS SOPS 995419 HAS SOUS 29747 HAS SOUPS 29688 WITH SCORE 30684.319
AT ITER 8105 NEW BEST:: SOT 1249591 SOS 996317 HAS SOPS 995417 HAS SOUS 29743 HAS SOUPS 29684 WITH SCORE 30680.317
AT ITER 8159 NEW BEST:: SOT 1249591 SOS 996315 HAS SOPS 995415 HAS SOUS 29743 HAS SOUPS 29684 WITH SCORE 30680.315
AT ITER 8210 NEW BEST:: SOT 1249575 SOS 996299 HAS SOPS 995399 HAS SOUS 29711 HAS SOUPS 29652 WITH SCORE 30648.299
AT ITER 8273 NEW BEST:: SOT 1249571 SOS 996295 HAS SOPS 995395 HAS SOUS 29703 HAS SOUPS 29644 WITH SCORE 30640.295
AT ITER 8305 NEW BEST:: SOT 1249563 SOS 996287 HAS SOPS 995387 HAS SOUS 29687 HAS SOUPS 29628 WITH SCORE 30624.287
AT ITER 8311 NEW BEST:: SOT 1249555 SOS 996279 HAS SOPS 995379 HAS SOUS 29671 HAS SOUPS 29612 WITH SCORE 30608.279
AT ITER 8324 NEW BEST:: SOT 1249611 SOS 989605 HAS SOPS 988625 HAS SOUS 29582 HAS SOUPS 29523 WITH SCORE 30512.605
AT ITER 8557 NEW BEST:: SOT 1249611 SOS 989601 HAS SOPS 988621 HAS SOUS 29582 HAS SOUPS 29523 WITH SCORE 30512.601
AT ITER 8589 NEW BEST:: SOT 1249607 SOS 989597 HAS SOPS 988617 HAS SOUS 29574 HAS SOUPS 29515 WITH SCORE 30504.597
AT ITER 8606 NEW BEST:: SOT 1249607 SOS 989593 HAS SOPS 988613 HAS SOUS 29574 HAS SOUPS 29515 WITH SCORE 30504.593
AT ITER 8836 NEW BEST:: SOT 1249656 SOS 989642 HAS SOPS 988662 HAS SOUS 29572 HAS SOUPS 29513 WITH SCORE 30502.642
AT ITER 8846 NEW BEST:: SOT 1249648 SOS 989634 HAS SOPS 988654 HAS SOUS 29556 HAS SOUPS 29497 WITH SCORE 30486.634
AT ITER 8853 NEW BEST:: SOT 1249644 SOS 989630 HAS SOPS 988650 HAS SOUS 29548 HAS SOUPS 29489 WITH SCORE 30478.63
AT ITER 8984 NEW BEST:: SOT 1249626 SOS 989612 HAS SOPS 988632 HAS SOUS 29512 HAS SOUPS 29453 WITH SCORE 30442.612
AT ITER 8995 NEW BEST:: SOT 1249622 SOS 989608 HAS SOPS 988628 HAS SOUS 29504 HAS SOUPS 29445 WITH SCORE 30434.608
AT ITER 9063 NEW BEST:: SOT 1249850 SOS 989836 HAS SOPS 988856 HAS SOUS 29499 HAS SOUPS 29440 WITH SCORE 30429.836
AT ITER 9083 NEW BEST:: SOT 1249848 SOS 989834 HAS SOPS 988854 HAS SOUS 29495 HAS SOUPS 29436 WITH SCORE 30425.834
AT ITER 9088 NEW BEST:: SOT 1249846 SOS 989832 HAS SOPS 988852 HAS SOUS 29491 HAS SOUPS 29432 WITH SCORE 30421.832
AT ITER 9245 NEW BEST:: SOT 1249840 SOS 989826 HAS SOPS 988846 HAS SOUS 29479 HAS SOUPS 29420 WITH SCORE 30409.826
AT ITER 9321 NEW BEST:: SOT 1249834 SOS 989820 HAS SOPS 988840 HAS SOUS 29467 HAS SOUPS 29408 WITH SCORE 30397.82
AT ITER 9344 NEW BEST:: SOT 1250208 SOS 990194 HAS SOPS 989214 HAS SOUS 29430 HAS SOUPS 29371 WITH SCORE 30361.194
AT ITER 9345 NEW BEST:: SOT 1250202 SOS 990188 HAS SOPS 989208 HAS SOUS 29418 HAS SOUPS 29359 WITH SCORE 30349.188
AT ITER 9449 NEW BEST:: SOT 1250200 SOS 990186 HAS SOPS 989206 HAS SOUS 29414 HAS SOUPS 29355 WITH SCORE 30345.186
AT ITER 9537 NEW BEST:: SOT 1250198 SOS 990184 HAS SOPS 989204 HAS SOUS 29410 HAS SOUPS 29351 WITH SCORE 30341.184
AT ITER 9538 NEW BEST:: SOT 1250194 SOS 990180 HAS SOPS 989200 HAS SOUS 29402 HAS SOUPS 29343 WITH SCORE 30333.18
AT ITER 9558 NEW BEST:: SOT 1250194 SOS 990018 HAS SOPS 989038 HAS SOUS 29402 HAS SOUPS 29343 WITH SCORE 30333.018
AT ITER 9586 NEW BEST:: SOT 1250194 SOS 990002 HAS SOPS 989022 HAS SOUS 29402 HAS SOUPS 29343 WITH SCORE 30333.002
AT ITER 9593 NEW BEST:: SOT 1250194 SOS 989680 HAS SOPS 988700 HAS SOUS 29398 HAS SOUPS 29339 WITH SCORE 30328.68
AT ITER 9636 NEW BEST:: SOT 1250192 SOS 989678 HAS SOPS 988698 HAS SOUS 29394 HAS SOUPS 29335 WITH SCORE 30324.678
AT ITER 9640 NEW BEST:: SOT 1250188 SOS 989674 HAS SOPS 988694 HAS SOUS 29386 HAS SOUPS 29327 WITH SCORE 30316.674
AT ITER 9788 NEW BEST:: SOT 1250186 SOS 989672 HAS SOPS 988692 HAS SOUS 29382 HAS SOUPS 29323 WITH SCORE 30312.672
AT ITER 9807 NEW BEST:: SOT 1250184 SOS 989670 HAS SOPS 988690 HAS SOUS 29378 HAS SOUPS 29319 WITH SCORE 30308.67
AT ITER 9940 NEW BEST:: SOT 1250180 SOS 989666 HAS SOPS 988686 HAS SOUS 29370 HAS SOUPS 29311 WITH SCORE 30300.666
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394048 kB
MemFree: 3418276 kB
After kill :
MemTotal: 16394048 kB
MemFree: 16127272 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="BridgeAndVehicles-COL-V80P50N50"
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 BridgeAndVehicles-COL-V80P50N50, 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 r035-tajo-167813687800160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P50N50.tgz
mv BridgeAndVehicles-COL-V80P50N50 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 ;