Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is BridgeAndVehicles-COL-V50P20N20, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r005kn-ebro-146347672800157
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-0
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-1
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-10
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-11
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-12
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-13
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-14
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-15
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-2
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-3
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-4
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-5
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-6
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-7
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-8
FORMULA_NAME BridgeAndVehicles-COL-V50P20N20-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1463592878446


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=138|T|=2348|A|=18090
Time for unfolding: 0m 2.653sec

Net: BridgeAndVehicles_COL_V50P20N20
(NrP: 138 NrTr: 2348 NrArc: 18090)

net check time: 0m 0.005sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.086sec

init dd package: 0m 7.143sec


BK_TIME_CONFINEMENT_REACHED

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

check for maximal unmarked siphon
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.007sec

210 365 451 536 627 718 814 911 1012 1115 1152 1221 1330 1441 1556 1672 1793 1914 2041 2167 2300 2431 2431 2570 2706 2851 2992 3143 3204 3296 3460 3524 3616 3784 3851 3943 4115 4115 4185 4277 4453 4526 4618 4798 4874 4966 5150 5229 5321 5509 5631 5631 5771 293433 422440 422454 422454 422462 422470 422478 422478 422486 422494 422499 422502 422510 422518 422476 422526 422534 422542 422488 422574 422574 422598 422598 422516 422594 422516 422590 422516 422586 422516 422582 422582 422516 422578 422516 422602 437639 437741 437813 438146 438182 451673 451784 452018 452216 452216 465248 465368 465701 465791 478373 478502 478637 478916 478916 491057 491195 491492 491600 503309 503456 503573 503852 503852 515138 515294 515609 515681 526553 526718 526907 527096 537563 537563 537737 538106 538106 548177 548360 548648 548720 558404 558596 558785 558947 568253 568454 568454 568796 577733 577733 577943 578276 578276 586979 587198 587504 587522 595838 596066 596336 596381 604319 604556 604799 604862 612431 612677 612893 612974 620183 620438 620645 620726 627584 627848 628046 628127 634643 634916 635617 635689 635708 635708 635725 635748 635770 635797 635824 635855 635887 635922 635959 635998 635998 636040 636083 636130 636177 636230 636281 636339 636394 636457 636516 636584 636584 636647 636720 636769 636787 636865 636917 636936 637019 637074 637094 637182 637240 637261 637354 637415 637437 637535 637599 637622 637725 637792 637816 637924 637992 638019 638132 650401 662831 662839 662850 662858 662866 662874 662882 662879 662907 662907 662930 662926 662907 662907 662918 662907 662907 662993 662993 663892 664014 664275 664275 664554 664685 664937 665207 665207 665347 665590 665851 666000 666000 666234 666486 666644 666788 666869 667112 667279 667495 667495 667729 667905 668112 668337 668337 668522 668720 668936 669130 669265 669319 669526 669729 669909 670107 670107 670319 670490 670679 670900 671017 671062 671242 671472 671625 671796 671796 672035 672179 672341 672589 672724 672724 672877 673134 673260 673404 673670 673760 673787 673922 674197 674305 674431 674715 674715 674814 674931 675224 675242 675314 675333 675350 675350 675373 675395 675422 675449 675480 675512 675547 675584 675623 675665 675696 675708 675755 675802 675855 675906 675964 676019 676082 676139 676207 676251 676268 676341 676388 676406 676484 676534 676553 676636 676689 676709 676797 676853 676874 676967 677026 677048 677146 677208 677231 677334 677399 677423 677531 677597 677624 677737 689321 689356 689360 689360 689363 689360 689360 689360 689360 689360 689393 689657 689789 689870 689870 689969 690110 690182 690272 690422 690485 690566 690566 690725 690779 690851 691019 691064 691127 691127 691304 691340 691394 691580 691607 691652 691652 691847 691865 691901 692105 692114 692141 692141 692354 692372 692376 692392 692436 692479 692535 692593 692641 692661 692734 692814 692902 692994 693097 693201 693319 693435 693568 693661 693696 693845 693985 694097 694201 694323 694434 694566 694685 694827 694920 694954 694954 695106 695205 695241 695403 695508 695546 695718 695829 695869 696051 696168 696210 696402 696525 696569 696771 696900 696946 697158 697293 697301 697483 712438 698969 698972 698976 698980 698958 698984 698988 698992 698958 698996 699000 699004 699004 699008 699012 699016 699016 699044 699044 699037 699040 698958 699036 698958 699032 698958 699028 698958 699024 699024 698958 699020 698958 698958 699142 699316 699316 699307 699298 699244 699436 699436 699418 699418 699346 699556 699547 699538 699448 699676 699676 699667 699658 699550 699796 699787 699778 699652 699916 699916 699898 699898 699754 700036 700027 700018 699856 700156 700156 700138 699958 699958 700276 700267 700258 700060 700396 700387 700378 700162 700516 700516 700498 700264 700636 700636 700618 700618 700366 700756 700738 700738 700468 700876 700867 700858 700570 700996 700987 700978 700672 701116 701107 701098 700774 701236 701227 701218 700876 701356 701347 701338 700978 701476 701467 701458 701080 701477 701495 701503 701503 699559 699560 699573 699601 699601 699629 699665 699703 699747 699795 699847 699905 699965 700033 700101 700179 700179 700255 700343 700427 700525 700617 700673 700725 702062 700738 699134 699144 699149 699149 699153 699157 699161 699161 699165 699169 699170 699173 699177 699127 699132 699149 699149 699231 699231 699222 699195 699286 699286 699286 699277 699241 699341 699341 699332 699287 699396 699396 699396 699387 699333 699451 699451 699442 699379 699379 699506 699506 699497 699425 699561 699561 699552 699471 699616 699616 699607 699607 699517 699671 699671 699662 699563 699726 699726 699717 699609 699781 699781 699772 699655 699655 699836 699827 699827 699701 699891 699891 699882 699747 699946 699946 699937 699793 700001 700001 699992 699839 700056 700056 700047 699885 700111 700111 700102 699931 700166 700166 700157 699977 700221 700221 700212 700023 700221 700230 700230 700233 699218 699218 699233 699242 699290 699338 699401 699467 699542 699623 699710 699806 699905 700016 700016 700127 700253 700376 700517 700652 700811 700958 701132 701291 701480 701603 701651 701855 702038 702257 702398 702452 702686 702836 702893 703142 703301 703361 703625 703793 703856 704135 704135 704378 704378 704672 704927 704927 705236 705503 705827 705827 706118 706463 706463 759195 761780 761786 761786 761783 761783 761783 761786 761783 761783 761783 761786 761786 761783 761783 761783 761780 761783 761780 761783 761780 761786 761780 761786 761780 761786 761783 761780 761783 761780 761783 761780 761798 761924 762788 763031 763688 763787 764597 764867 765164 765587 765596 766379 766676 767243 767378 768134 768458 768458 769115 769133 769862 770213 770735 770861 771563 771941 772022 772562 772562 773237 773642 774164 774236 774884 775316 775703 775883 776504 776963 776963 777503 777503 778097 778421 778898 778943 779501 779843 780248 780347 780887 781247 781562 781733 782255 782633 782633 783101 783605 783605 784001 784451 784937 784937 785351 785783 785783 786251 786683 787097 787097 787547 787997 788393 788393 788825 789293 789671 789671 790085 790481 790463 790859 790859 791255 791307 791313 791637 791637 791637 791661 791709 791757 791817 791880 791955 792036 792123 792123 792219 792318 792429 792540 792666 792789 792930 793065 793224 793371 793371 793545 793704 793893 794064 794268 794451 794670 794811 794865 795099 795249 795306 795306 795555 795714 795774 796038 796206 796269 796548 796725 796791 797085 797271 797340 797649 797844 797916 798240 798444 798531 798876 847259 852285 852291 852288 852288 852288 852288 852291 852285 852288 852288 852288 852291 852294 852288 852288 852285 852288 852285 852288 852285 852288 852285 852288 852285 852288 852285 852288 852285 852291 852285 852285 852303 853266 853509 854067 854238 855021 855021 855291 855939 855993 856749 857046 857505 857721 858450 858450 858774 859377 859422 860124 860475 860934 861096 861771 862149 862149 862743 862743 863391 863796 864291 864363 864984 865416 865785 865956 866550 866856 866856 867378 867378 867936 868260 868755 868764 869304 869646 870078 870132 870654 871014 871383 871482 871986 872364 872670 872814 873300 873696 873948 874128 874596 875010 875154 875424 875874 876306 876306 876702 877134 877584 877584 877962 878376 878754 878754 878736 879132 879528 879519 879510 879888 880284 880336 880342 880342 880648 880648 880672 880720 880720 880768 880828 880891 880963 881041 881128 881224 881323 881434 881545 881671 881671 881794 881935 882070 882229 882376 882550 882709 882898 883069 883273 883273 883456 883675 883816 883870 884104 884254 884311 884560 884719 884779 885043 885211 885274 885553 885730 885796 886090 886276 886345 886654 886849 886921 887245 887449 887536 887881 921972 939095 939436 939439 939439 939442 939442 939436 939439 939439 939439 939439 939442 939436 939439 939439 939436 939439 939436 939439 939445 939439 939436 939439 939436 939439 939436 939439 939436 939439 939436 939454 940390 940390 940633 941281 941335 942091 942361 942838 943036 943765 943765 944062 944665 944710 945412 945736 946204 946357 947032 947383 947383 947977 947977 948625 949003 949498 949570 950191 950596 950974 951136 951730 952018 952018 952540 953098 953098 953404 953899 953908 954448 954772 955213 955258 955780 956122 956500 956590 957094 957454 957769 957904 958390 958768 959029 959200 959668 960064 960244 960478 960928 961342 961450 961738 962170 962602 962710 962980 963394 963754 963745 963736 964132 964510 964501 964492 964870 965266 965257 965248 965608 966004 966056 966062 966216 966350 966350 966374 966422 966470 966530 966530 966593 966665 966743 966827 966920 967019 967130 967241 967367 967490 967631 967631 967766 967925 968072 968246 968405 968594 968765 968969 969152 969371 969371 969512 969566 969800 969950 970007 970256 970415 970475 970739 970907 970970 971249 971426 971492 971786 971972 972041 972350 972545 972617 972941 973145 973232 973577 1013838 1023332 1023332 1023335 1023335 1023335 1023335 1023335 1023338 1023338 1023332 1023335 1023335 1023335 1023335 1023332 1023335 1023332 1023335 1023332 1023335 1023332 1023335 1023332 1023335 1023332 1023335 1023332 1023335 1023332 1023350 1024259 1024502 1024502 1025159 1025177 1025906 1026176 1026698 1026824 1027526 1027823 1027922 1028444 1028444 1029119 1029443 1029965 1030037 1030685 1031036 1031423 1031603 1032224 1032602 1032602 1033142 1033142 1033736 1034006 1034492 1034528 1035086 1035374 1035779 1035878 1036418 1036724 1037048 1037210 1037732 1038056 1038146 1038524 1039028 1039370 1039370 1039820 1040306 1040306 1040666 1041098 1041098 1041566 1041944 1042358 1042358 1042808 1043204 1043600 1043600 1044032 1044446 1044824 1044824 1045238 1045580 1045562 1045958 1045958 1046318 1046300 1046678 1047056 1047056 1047038 1047398 1047794 1047794 1047776 1048118 1048514 1048566 1048570 1048572 1048842 1048842 1048866 1048914 1048914 1048962 1049022 1049085 1049157 1049235 1049319 1049412 1049508 1049616 1049727 1049853 1049853 1049976 1050117 1050252 1050411 1050558 1050732 1050891 1051080 1051251 1051455 1051587 1051638 1051857 1051998 1052052 1052286 1052436 1052493 1052742 1052901 1052961 1053225 1053393 1053456 1053735 1053912 1053978 1054272 1054458 1054527 1054836 1055031 1055103 1055427 1055631 1055718 1056063 1090200 1104063 1104072 1104075 1104075 1104075 1104075 1104075 1104075 1104075 1104078 1104078 1104078 1104072 1104075 1104078 1104072 1104078 1104072 1104075 1104072 1104075 1104072 1104075 1104072 1104075 1104072 1104075 1104072 1104090 1104216 1104972 1105215 1105800 1105863 1106565 1106835 1107276 1107456 1108131 1108428 1108428 1109013 1109022 1109670 1109994 1110471 1110561 1111182 1111533 1111857 1112073 1112667 1112919 1112919 1113441 1113441 1113999 1114269 1114746 1114773 1115313 1115601 1116015 1116087 1116609 1116915 1117266 1117383 1117887 1118211 1118499 1118661 1119147 1119489 1119669 1119921 1120389 1120749 1120749 1121163 1121613 1121991 1121991 1122387 1122819 1123215 1123215 1123593 1124007 1124331 1124331 1124313 1124709 1125051 1125042 1125033 1125411 1125771 1125762 1125753 1126113 1126491 1126482 1126473 1126815 1127211 1127193 1127193 1127517 1127913 1127965 1127971 1128223 1128223 1128223 1128247 1128295 1128343 1128403 1128466 1128538 1128616 1128673 1128700 1128793 1128889 1128997 1129105 1129228 1129351 1129492 1129627 1129786 1129933 1129933 1130107 1130266 1130455 1130626 1130830 1131013 1131232 1131373 1131427 1131661 1131811 1131868 1131868 1132117 1132276 1132336 1132600 1132768 1132831 1133110 1133287 1133353 1133647 1133833 1133902 1134211 1134406 1134478 1134802 1135006 1135093 1135438 1178238 1181755 1181758 1181758 1181758 1181758 1181761 1181761 1181761 1181761 1181761 1181761 1181755 1181758 1181761 1181755 1181758 1181755 1181758 1181755 1181758 1181755 1181758 1181755 1181758 1181755 1181758 1181755 1181773 1182628 1182871 1183132 1183492 1183492 1184167 1184437 1184977 1185031 1185679 1185976 1186399 1186543 1187164 1187488 1187542 1188028 1188028 1188622 1188856 1189360 1189378 1189936 1190188 1190620 1190692 1191232 1191502 1191862 1191988 1192510 1192798 1193068 1193266 1193770 1194076 1194076 1194526 1195012 1195336 1195336 1195768 1196236 1196236 1196578 1196992 1197442 1197442 1197802 1198198 1198630 1198630 1199008 1199386 1199800 1199800 1200106 1200088 1200484 1200808 1200808 1200790 1201168 1201510 1201510 1201492 1201852 1202212 1202203 1202194 1202536 1202914 1202905 1202896 1203220 1203616 1203598 1203598 1203904 1204300 1204352 1204358 1204592 1204592 1204592 1204616 1204664 1204712 1204772 1204835 1204907 1204985 1205069 1205069 1205162 1205258 1205366 1205474 1205597 1205717 1205855 1205990 1206149 1206296 1206470 1206470 1206629 1206818 1206989 1207193 1207376 1207595 1207736 1207790 1208024 1208174 1208231 1208480 1208480 1208639 1208699 1208963 1209131 1209194 1209473 1209650 1209716 1210010 1210196 1210265 1210574 1210769 1210841 1211165 1211369 1211456 1211801 1254013 1256480 1256483 1256483 1256483 1256483 1256483 1256483 1256483 1256483 1256483 1256483 1256483 1256480 1256483 1256486 1256480 1256483 1256480 1256483 1256480 1256483 1256480 1256483 1256480 1256483 1256480 1256498 1257326 1257569 1257731 1258163 1258163 1258811 1259081 1259603 1259648 1260269 1260566 1260980 1261106 1261700 1261916 1262132 1262438 1262996 1262996 1263230 1263734 1263734 1264274 1264526 1264994 1265012 1265534 1265804 1266218 1266272 1266776 1267064 1267424 1267514 1268000 1268306 1268621 1268738 1269206 1269530 1269809 1269944 1270394 1270736 1270997 1271132 1271564 1271924 1272176 1272302 1272716 1273004 1272995 1272986 1273382 1273688 1273679 1273670 1274048 1274372 1274363 1274354 1274714 1275056 1275038 1275038 1275380 1275740 1275722 1276046 1276046 1276424 1276406 1276712 1277108 1277108 1277090 1277378 1277774 1277826 1277832 1277832 1278048 1278048 1278072 1278120 1278168 1278228 1278228 1278291 1278363 1278441 1278525 1278618 1278714 1278822 1278930 1279053 1279173 1279311 1279311 1279443 1279599 1279746 1279920 1280079 1280268 1280439 1280643 1280826 1281045 1281045 1281186 1281240 1281474 1281624 1281681 1281930 1282089 1282149 1282413 1282581 1282644 1282923 1283100 1283166 1283460 1283646 1283715 1284024 1284219 1284291 1284615 1284819 1284906 1285251 1322300 1328346 1328349 1328349 1328349 1328349 1328349 1328349 1328349 1328349 1328349 1328349 1328349 1328352 1328346 1328349 1328346 1328349 1328346 1328349 1328346 1328349 1328346 1328346 1328352 1328346 1328346 1328364 1329165 1329408 1329885 1329975 1330596 1330866 1331208 1331406 1332000 1332198 1332198 1332720 1332720 1333278 1333494 1333980 1333998 1334538 1334772 1335195 1335258 1335780 1336032 1336392 1336500 1337004 1337274 1337571 1337724 1338210 1338498 1338732 1338930 1339398 1339704 1339830 1340118 1340568 1340892 1340892 1341288 1341720 1342062 1342080 1342440 1342854 1343124 1343124 1343106 1343502 1343790 1343781 1343772 1344150 1344456 1344447 1344438 1344798 1345122 1345113 1345104 1345446 1345788 1345770 1345770 1346094 1346454 1346436 1346742 1346742 1347120 1347102 1347390 1347786 1347777 1347768 1348038 1348434 1348486 1348492 1348601 1348690 1348690 1348714 1348762 1348810 1348870 1348933 1348981 1349005 1349083 1349167 1349260 1349356 1349464 1349572 1349695 1349815 1349953 1350085 1350085 1350241 1350385 1350556 1350715 1350904 1351075 1351279 1351462 1351681 1351822 1351876 1351876 1352110 1352260 1352317 1352566 1352725 1352785 1353049 1353217 1353280 1353559 1353736 1353802 1354096 1354282 1354351 1354660 1354855 1354927 1355251 1355455 1355542 1355887 1393371 1397452 1397455 1397455 1397455 1397455 1397452 1397458 1397458 1397458 1397455 1397455 1397452 1397455 1397458 1397452 1397455 1397452 1397455 1397452 1397455 1397452 1397452 1397452 1397452 1397452 1397470 1398244 1398487 1398937 1399027 1399621 1399801 1400143 1400323 1400881 1401079 1401079 1401583 1402123 1402123 1402339 1402825 1402825 1403347 1403581 1404031 1404049 1404553 1404805 1405210 1405255 1405741 1406011 1406380 1406443 1406911 1407199 1407532 1407613 1408063 1408369 1408684 1408765 1409197 1409521 1409836 1409899 1410313 1410565 1410556 1410547 1410943 1411213 1411204 1411195 1411573 1411861 1411843 1411843 1412203 1412509 1412491 1412833 1412833 1413157 1413139 1413463 1413805 1413805 1413787 1414093 1414453 1414444 1414435 1414723 1415101 1415083 1415083 1415353 1415749 1415731 1415983 1416379 1416379 1416431 1416437 1416617 1416617 1416641 1416641 1416688 1416735 1416794 1416856 1416927 1417004 1417087 1417179 1417274 1417381 1417455 1417488 1417610 1417729 1417866 1417997 1418152 1418295 1418465 1418620 1418805 1418976 1418976 1419180 1419363 1419582 1419723 1419777 1420011 1420161 1420218 1420467 1420626 1420686 1420950 1421118 1421181 1421460 1421637 1421703 1421997 1421997 1422252 1422561 1422561 1422828 1423152 1423356 1423443 1423788 1443546 1463891 1463894 1463894 1463894 1463894 1463894 1463891 1463897 1463897 1463894 1463894 1463891 1463891 1463897 1463891 1463894 1463891 1463894 1463897 1463891 1463897 1463891 1463894 1463891 1463903 1464599 1464761 1464761 1465283 1465283 1465841 1466021 1466498 1466525 1467065 1467263 1467677 1467749 1468271 1468487 1468847 1468955 1469459 1469693 1469990 1470143 1470629 1470881 1471097 1471313 1471781 1472051 1472141 1472465 1472915 1473203 1473203 1473599 1474031 1474337 1474337 1474715 1475129 1475363 1475363 1475345 1475741 1475993 1475984 1475975 1476353 1476623 1476614 1476605 1476965 1477253 1477244 1477235 1477577 1477883 1477865 1477865 1478189 1478513 1478495 1478801 1478801 1479143 1479125 1479413 1479773 1479764 1479755 1480025 1480403 1480385 1480385 1480637 1481033 1481015 1481249 1481645 1481645 1481697 1481705 1481876 1481876 1481892 1481912 1481924 1481956 1481996 1482038 1482086 1482138 1482194 1482256 1482320 1482392 1482464 1482464 1482546 1482626 1482718 1482806 1482910 1483006 1483120 1483224 1483348 1483460 1483460 1483594 1483716 1483862 1483956 1483992 1484148 1484248 1484286 1484452 1484558 1484598 1484774 1484886 1484928 1485114 1485232 1485276 1485472 1485472 1485642 1485848 1485848 1486026 1486242 1486378 1486436 1486666 1502066 1518004 1518007 1518007 1518007 1518004 1518010 1518007 1518007 1518007 1518007 1518004 1518007 1518004 1518004 1518010 1518004 1518007 1518004 1518007 1518004 1518004 1518010 1518004 1518016 1518100 1518676 1518838 1519333 1519342 1519882 1520062 1520494 1520548 1521070 1521268 1521646 1521736 1522240 1522456 1522780 1522906 1523392 1523626 1523896 1524058 1524526 1524778 1525012 1525192 1525642 1525912 1526110 1526308 1526740 1527028 1527226 1527406 1527820 1528036 1528027 1528018 1528414 1528648 1528639 1528630 1529008 1529260 1529251 1529242 1529602 1529872 1529854 1529854 1530196 1530484 1530466 1530790 1530790 1531096 1531078 1531384 1531708 1531708 1531690 1531978 1532320 1532311 1532302 1532572 1532932 1532914 1532914 1533166 1533544 1533526 1533760 1534147 1534147 1534138 1534354 1534552 1534578 1534581 1534663 1534743 1534743 1534759 1534791 1534823 1534863 1534905 1534937 1534953 1535005 1535061 1535123 1535187 1535259 1535331 1535413 1535493 1535585 1535673 1535673 1535777 1535873 1535987 1536091 1536215 1536327 1536461 1536581 1536725 1536819 1536855 1536855 1537011 1537111 1537149 1537315 1537421 1537461 1537637 1537749 1537791 1537977 1538095 1538139 1538335 1538459 1538505 1538711 1538841 1538889 1539105 1539241 1539299 1539529 1567181 1569775 1569781 1569778 1569778 1569778 1569781 1569778 1569778 1569778 1569775 1569778 1569775 1569775 1569781 1569775 1569778 1569775 1569775 1569781 1569775 1569778 1569775 1569787 1570429 1570591 1570591 1571077 1571599 1571599 1571779 1572247 1572247 1572751 1572949 1573399 1573399 1573885 1574101 1574515 1574533 1575001 1575235 1575622 1575649 1576099 1576351 1576729 1576747 1577179 1577449 1577818 1577827 1578241 1578439 1578421 1578421 1578817 1579033 1579015 1579015 1579393 1579627 1579609 1579969 1579969 1580221 1580203 1580545 1580815 1580815 1580797 1581121 1581409 1581400 1581391 1581697 1582003 1581985 1581985 1582273 1582597 1582579 1582849 1582849 1583191 1583173 1583425 1583785 1583776 1583767 1584001 1584370 1584361 1584361 1584577 1584775 1584766 1584955 1585153 1585179 1585179 1585182 1585335 1585335 1585351 1585383 1585415 1585441 1585455 1585497 1585545 1585597 1585653 1585715 1585779 1585851 1585923 1586005 1586085 1586085 1586177 1586265 1586369 1586465 1586579 1586683 1586807 1586919 1587053 1587173 1587173 1587317 1587409 1587445 1587599 1587699 1587737 1587903 1588009 1588049 1588225 1588337 1588379 1588565 1588683 1588727 1588923 1589047 1589093 1589299 1589429 1589477 1589693 1589829 1589887 1590117 1614472 1619307 1619310 1619313 1619310 1619310 1619313 1619310 1619310 1619313 1619307 1619310 1619313 1619307 1619310 1619307 1619307 1619310 1619307 1619310 1619307 1619307 1619307 1619319 1619943 1620105 1620510 1620573 1621077 1621257 1621608 1621707 1622193 1622391 1622706 1622823 1623291 1623507 1623786 1623921 1624371 1624605 1624866 1625001 1625433 1625685 1625937 1626063 1626477 1626657 1626648 1626639 1627035 1627233 1627224 1627215 1627593 1627809 1627800 1627791 1628151 1628385 1628367 1628367 1628709 1628961 1628943 1629267 1629267 1629537 1629519 1629825 1630113 1630104 1630095 1630383 1630689 1630671 1630671 1630941 1631265 1631247 1631499 1631499 1631841 1631823 1632057 1632408 1632408 1632399 1632615 1632804 1632795 1632984 1632984 1633182 1633173 1633353 1633551 1633577 1633577 1633580 1633724 1633724 1633740 1633772 1633804 1633844 1633844 1633886 1633934 1633986 1634042 1634104 1634168 1634240 1634312 1634394 1634474 1634566 1634566 1634654 1634758 1634854 1634968 1635072 1635196 1635308 1635442 1635562 1635706 1635706 1635798 1635834 1635988 1636086 1636124 1636288 1636394 1636434 1636610 1636722 1636764 1636950 1637068 1637112 1637308 1637432 1637478 1637684 1637814 1637862 1638078 1638214 1638272 1638502 1663272 1666672 1666678 1666675 1666675 1666675 1666675 1666672 1666675 1666675 1666678 1666672 1666675 1666678 1666672 1666675 1666672 1666672 1666675 1666672 1666675 1666672 1666684 1667290 1667452 1667785 1667902 1668388 1668568 1668856 1669000 1669468 1669666 1669909 1670080 1670530 1670746 1670971 1671142 1671574 1671808 1672033 1672186 1672600 1672762 1672753 1672744 1673140 1673320 1673311 1673302 1673680 1673878 1673869 1673860 1674220 1674436 1674418 1674418 1674760 1674994 1674976 1675300 1675300 1675552 1675534 1675840 1676110 1676110 1676092 1676380 1676668 1676659 1676650 1676920 1677226 1677208 1677460 1677460 1677784 1677766 1678000 1678333

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-V50P20N20"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/users/gast00/fkordon/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

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V50P20N20.tgz
mv BridgeAndVehicles-COL-V50P20N20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-COL-V50P20N20, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r005kn-ebro-146347672800157"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;