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.r078-smll-158922972300232.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 FamilyReunion-PT-L00050M0005C002P002G001, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972300232
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.6M
-rw-r--r-- 1 mcc users 64K Apr 1 20:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 252K Apr 1 20:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 82K Apr 1 13:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 232K Apr 1 13:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 47K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 194K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 79K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 228K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Apr 1 10:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Apr 1 10:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 134K Apr 1 06:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 363K Apr 1 06:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 1 13:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 41K Apr 1 13:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 4.7M Mar 24 05:37 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 1589372309917

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

Filename model.pnml
Petri model created: 12194 places, 10560 transitions, 32238 arcs.
AT ITER 0 NEW BEST:: SOT 72322837 SOS 6744902 HAS SOPS 6712376 HAS SOUS 6359460 HAS SOUPS 6356442 WITH SCORE 6363186.902
AT ITER 23 NEW BEST:: SOT 72322275 SOS 6744696 HAS SOPS 6712170 HAS SOUS 6359303 HAS SOUPS 6356285 WITH SCORE 6363029.696
AT ITER 245 NEW BEST:: SOT 72321797 SOS 6744084 HAS SOPS 6711558 HAS SOUS 6358691 HAS SOUPS 6355673 WITH SCORE 6362417.084
AT ITER 341 NEW BEST:: SOT 72321797 SOS 6744004 HAS SOPS 6711478 HAS SOUS 6358611 HAS SOUPS 6355593 WITH SCORE 6362337.004
AT ITER 371 NEW BEST:: SOT 72323991 SOS 6747179 HAS SOPS 6711098 HAS SOUS 6361935 HAS SOUPS 6355452 WITH SCORE 6362199.179
AT ITER 514 NEW BEST:: SOT 72323991 SOS 6746622 HAS SOPS 6710541 HAS SOUS 6361378 HAS SOUPS 6354895 WITH SCORE 6361641.622
AT ITER 549 NEW BEST:: SOT 72323991 SOS 6746148 HAS SOPS 6710067 HAS SOUS 6360904 HAS SOUPS 6354421 WITH SCORE 6361167.148
AT ITER 582 NEW BEST:: SOT 72323526 SOS 6746136 HAS SOPS 6710055 HAS SOUS 6360892 HAS SOUPS 6354409 WITH SCORE 6361155.136
AT ITER 591 NEW BEST:: SOT 72323458 SOS 6745950 HAS SOPS 6709869 HAS SOUS 6360706 HAS SOUPS 6354223 WITH SCORE 6360968.95
AT ITER 600 NEW BEST:: SOT 72323458 SOS 6745434 HAS SOPS 6709353 HAS SOUS 6360190 HAS SOUPS 6353707 WITH SCORE 6360452.434
AT ITER 627 NEW BEST:: SOT 72323662 SOS 6746066 HAS SOPS 6709553 HAS SOUS 6359966 HAS SOUPS 6353483 WITH SCORE 6360229.066
AT ITER 639 NEW BEST:: SOT 72323326 SOS 6745760 HAS SOPS 6709247 HAS SOUS 6359660 HAS SOUPS 6353177 WITH SCORE 6359922.76
AT ITER 651 NEW BEST:: SOT 72322851 SOS 6745148 HAS SOPS 6708635 HAS SOUS 6359048 HAS SOUPS 6352565 WITH SCORE 6359310.148
AT ITER 658 NEW BEST:: SOT 72322851 SOS 6745067 HAS SOPS 6708554 HAS SOUS 6358967 HAS SOUPS 6352484 WITH SCORE 6359229.067
AT ITER 674 NEW BEST:: SOT 72322313 SOS 6744909 HAS SOPS 6708396 HAS SOUS 6358883 HAS SOUPS 6352400 WITH SCORE 6359144.909
AT ITER 696 NEW BEST:: SOT 72313675 SOS 6739835 HAS SOPS 6703322 HAS SOUS 6350095 HAS SOUPS 6343612 WITH SCORE 6350351.835
AT ITER 743 NEW BEST:: SOT 72313191 SOS 6739785 HAS SOPS 6703272 HAS SOUS 6350045 HAS SOUPS 6343562 WITH SCORE 6350301.785
AT ITER 748 NEW BEST:: SOT 72313017 SOS 6739601 HAS SOPS 6703088 HAS SOUS 6349860 HAS SOUPS 6343377 WITH SCORE 6350116.601
AT ITER 752 NEW BEST:: SOT 72313017 SOS 6739319 HAS SOPS 6702806 HAS SOUS 6349578 HAS SOUPS 6343095 WITH SCORE 6349834.319
AT ITER 774 NEW BEST:: SOT 72312864 SOS 6739166 HAS SOPS 6702653 HAS SOUS 6349425 HAS SOUPS 6342942 WITH SCORE 6349681.166
AT ITER 817 NEW BEST:: SOT 72312545 SOS 6738543 HAS SOPS 6702030 HAS SOUS 6348787 HAS SOUPS 6342304 WITH SCORE 6349042.543
AT ITER 866 NEW BEST:: SOT 72312545 SOS 6738460 HAS SOPS 6701947 HAS SOUS 6348704 HAS SOUPS 6342221 WITH SCORE 6348959.46
AT ITER 919 NEW BEST:: SOT 72312545 SOS 6738453 HAS SOPS 6701940 HAS SOUS 6348697 HAS SOUPS 6342214 WITH SCORE 6348952.453
AT ITER 937 NEW BEST:: SOT 72312402 SOS 6738310 HAS SOPS 6701797 HAS SOUS 6348554 HAS SOUPS 6342071 WITH SCORE 6348809.31
AT ITER 988 NEW BEST:: SOT 72311901 SOS 6738220 HAS SOPS 6701707 HAS SOUS 6348460 HAS SOUPS 6341977 WITH SCORE 6348715.22
AT ITER 1125 NEW BEST:: SOT 72312211 SOS 6738977 HAS SOPS 6700298 HAS SOUS 6347326 HAS SOUPS 6340843 WITH SCORE 6347581.977
AT ITER 1192 NEW BEST:: SOT 72311905 SOS 6738365 HAS SOPS 6699686 HAS SOUS 6346714 HAS SOUPS 6340231 WITH SCORE 6346969.365
AT ITER 1242 NEW BEST:: SOT 72311541 SOS 6737494 HAS SOPS 6698815 HAS SOUS 6345843 HAS SOUPS 6339360 WITH SCORE 6346097.494
AT ITER 1346 NEW BEST:: SOT 72311541 SOS 6737581 HAS SOPS 6698902 HAS SOUS 6345793 HAS SOUPS 6339310 WITH SCORE 6346047.581
AT ITER 1366 NEW BEST:: SOT 72311541 SOS 6737168 HAS SOPS 6698489 HAS SOUS 6345380 HAS SOUPS 6338897 WITH SCORE 6345634.168
AT ITER 1375 NEW BEST:: SOT 72311283 SOS 6736652 HAS SOPS 6697973 HAS SOUS 6344860 HAS SOUPS 6338377 WITH SCORE 6345113.652
AT ITER 1439 NEW BEST:: SOT 72310771 SOS 6736346 HAS SOPS 6697667 HAS SOUS 6344549 HAS SOUPS 6338066 WITH SCORE 6344802.346
AT ITER 1467 NEW BEST:: SOT 72310721 SOS 6735864 HAS SOPS 6697185 HAS SOUS 6344399 HAS SOUPS 6337916 WITH SCORE 6344651.864
AT ITER 1513 NEW BEST:: SOT 72310985 SOS 6735822 HAS SOPS 6697143 HAS SOUS 6344357 HAS SOUPS 6337874 WITH SCORE 6344609.822
AT ITER 1547 NEW BEST:: SOT 72310576 SOS 6735916 HAS SOPS 6697237 HAS SOUS 6344194 HAS SOUPS 6337711 WITH SCORE 6344446.916
AT ITER 1567 NEW BEST:: SOT 72310218 SOS 6735304 HAS SOPS 6696625 HAS SOUS 6343582 HAS SOUPS 6337099 WITH SCORE 6343834.304
AT ITER 1576 NEW BEST:: SOT 72309743 SOS 6734998 HAS SOPS 6696319 HAS SOUS 6343276 HAS SOUPS 6336793 WITH SCORE 6343527.998
AT ITER 1585 NEW BEST:: SOT 72309405 SOS 6734386 HAS SOPS 6695707 HAS SOUS 6342659 HAS SOUPS 6336176 WITH SCORE 6342910.386
AT ITER 1596 NEW BEST:: SOT 72309405 SOS 6732952 HAS SOPS 6694273 HAS SOUS 6342450 HAS SOUPS 6335967 WITH SCORE 6342699.952
AT ITER 1642 NEW BEST:: SOT 72309314 SOS 6732770 HAS SOPS 6694091 HAS SOUS 6342268 HAS SOUPS 6335785 WITH SCORE 6342517.77
AT ITER 1739 NEW BEST:: SOT 72308840 SOS 6732740 HAS SOPS 6694061 HAS SOUS 6342238 HAS SOUPS 6335755 WITH SCORE 6342487.74
AT ITER 1760 NEW BEST:: SOT 72308280 SOS 6732538 HAS SOPS 6693859 HAS SOUS 6342036 HAS SOUPS 6335553 WITH SCORE 6342285.538
AT ITER 1881 NEW BEST:: SOT 72307836 SOS 6732232 HAS SOPS 6693553 HAS SOUS 6341730 HAS SOUPS 6335247 WITH SCORE 6341979.232
AT ITER 1888 NEW BEST:: SOT 72307226 SOS 6731112 HAS SOPS 6692433 HAS SOUS 6340594 HAS SOUPS 6334111 WITH SCORE 6340842.112
AT ITER 1993 NEW BEST:: SOT 72306950 SOS 6730560 HAS SOPS 6691881 HAS SOUS 6340042 HAS SOUPS 6333559 WITH SCORE 6340289.56
AT ITER 2025 NEW BEST:: SOT 72306434 SOS 6730446 HAS SOPS 6691767 HAS SOUS 6339928 HAS SOUPS 6333445 WITH SCORE 6340175.446
AT ITER 2047 NEW BEST:: SOT 72305882 SOS 6730140 HAS SOPS 6691461 HAS SOUS 6339622 HAS SOUPS 6333139 WITH SCORE 6339869.14
AT ITER 2276 NEW BEST:: SOT 72305539 SOS 6729528 HAS SOPS 6690849 HAS SOUS 6339009 HAS SOUPS 6332526 WITH SCORE 6339255.528
AT ITER 2306 NEW BEST:: SOT 72305363 SOS 6729176 HAS SOPS 6690497 HAS SOUS 6338654 HAS SOUPS 6332171 WITH SCORE 6338900.176
AT ITER 2322 NEW BEST:: SOT 72304985 SOS 6728450 HAS SOPS 6689771 HAS SOUS 6337922 HAS SOUPS 6331439 WITH SCORE 6338167.45
AT ITER 2327 NEW BEST:: SOT 72304645 SOS 6727838 HAS SOPS 6689159 HAS SOUS 6337305 HAS SOUPS 6330822 WITH SCORE 6337549.838
AT ITER 2339 NEW BEST:: SOT 72304269 SOS 6726710 HAS SOPS 6688031 HAS SOUS 6336177 HAS SOUPS 6329694 WITH SCORE 6336420.71
AT ITER 2403 NEW BEST:: SOT 72304269 SOS 6726412 HAS SOPS 6687733 HAS SOUS 6335878 HAS SOUPS 6329395 WITH SCORE 6336121.412
AT ITER 2442 NEW BEST:: SOT 72303657 SOS 6724867 HAS SOPS 6686188 HAS SOUS 6335720 HAS SOUPS 6329237 WITH SCORE 6335961.867
AT ITER 2499 NEW BEST:: SOT 72303657 SOS 6724863 HAS SOPS 6686184 HAS SOUS 6335716 HAS SOUPS 6329233 WITH SCORE 6335957.863
AT ITER 2567 NEW BEST:: SOT 72303151 SOS 6724251 HAS SOPS 6685572 HAS SOUS 6335102 HAS SOUPS 6328619 WITH SCORE 6335343.251
AT ITER 2628 NEW BEST:: SOT 72303058 SOS 6724065 HAS SOPS 6685386 HAS SOUS 6334916 HAS SOUPS 6328433 WITH SCORE 6335157.065
AT ITER 2632 NEW BEST:: SOT 72302905 SOS 6723707 HAS SOPS 6685028 HAS SOUS 6334558 HAS SOUPS 6328075 WITH SCORE 6334798.707
AT ITER 2676 NEW BEST:: SOT 72302612 SOS 6723173 HAS SOPS 6684494 HAS SOUS 6334024 HAS SOUPS 6327541 WITH SCORE 6334264.173
AT ITER 2686 NEW BEST:: SOT 72302306 SOS 6722561 HAS SOPS 6683882 HAS SOUS 6333412 HAS SOUPS 6326929 WITH SCORE 6333651.561
AT ITER 2708 NEW BEST:: SOT 72301798 SOS 6722463 HAS SOPS 6683784 HAS SOUS 6333314 HAS SOUPS 6326831 WITH SCORE 6333553.463
AT ITER 2724 NEW BEST:: SOT 72301798 SOS 6722226 HAS SOPS 6683547 HAS SOUS 6333075 HAS SOUPS 6326592 WITH SCORE 6333314.226
AT ITER 2801 NEW BEST:: SOT 72301798 SOS 6722395 HAS SOPS 6683716 HAS SOUS 6333033 HAS SOUPS 6326550 WITH SCORE 6333272.395
AT ITER 2816 NEW BEST:: SOT 72301056 SOS 6721783 HAS SOPS 6683104 HAS SOUS 6332421 HAS SOUPS 6325938 WITH SCORE 6332659.783
AT ITER 2851 NEW BEST:: SOT 72300935 SOS 6721694 HAS SOPS 6683015 HAS SOUS 6332332 HAS SOUPS 6325849 WITH SCORE 6332570.694
AT ITER 2898 NEW BEST:: SOT 72300668 SOS 6721160 HAS SOPS 6682481 HAS SOUS 6331798 HAS SOUPS 6325315 WITH SCORE 6332036.16
AT ITER 2965 NEW BEST:: SOT 72300548 SOS 6720920 HAS SOPS 6682241 HAS SOUS 6331558 HAS SOUPS 6325075 WITH SCORE 6331795.92
AT ITER 3010 NEW BEST:: SOT 72299372 SOS 6718616 HAS SOPS 6679937 HAS SOUS 6330469 HAS SOUPS 6323986 WITH SCORE 6330704.616
AT ITER 3122 NEW BEST:: SOT 72293280 SOS 6850740 HAS SOPS 6812061 HAS SOUS 6327093 HAS SOUPS 6320610 WITH SCORE 6327460.74
AT ITER 3149 NEW BEST:: SOT 72293127 SOS 6850261 HAS SOPS 6811582 HAS SOUS 6326614 HAS SOUPS 6320131 WITH SCORE 6326981.261
AT ITER 3265 NEW BEST:: SOT 72293127 SOS 6849899 HAS SOPS 6811220 HAS SOUS 6326021 HAS SOUPS 6319538 WITH SCORE 6326387.899
AT ITER 3305 NEW BEST:: SOT 72293127 SOS 6849849 HAS SOPS 6811170 HAS SOUS 6325970 HAS SOUPS 6319487 WITH SCORE 6326336.849
AT ITER 3313 NEW BEST:: SOT 72292940 SOS 6849492 HAS SOPS 6810813 HAS SOUS 6325596 HAS SOUPS 6319113 WITH SCORE 6325962.492
AT ITER 3411 NEW BEST:: SOT 72292467 SOS 6848546 HAS SOPS 6809867 HAS SOUS 6324650 HAS SOUPS 6318167 WITH SCORE 6325015.546
AT ITER 3437 NEW BEST:: SOT 72292329 SOS 6848270 HAS SOPS 6809591 HAS SOUS 6324372 HAS SOUPS 6317889 WITH SCORE 6324737.27
AT ITER 3480 NEW BEST:: SOT 72292291 SOS 6848194 HAS SOPS 6809515 HAS SOUS 6324296 HAS SOUPS 6317813 WITH SCORE 6324661.194
AT ITER 3484 NEW BEST:: SOT 72291972 SOS 6847582 HAS SOPS 6808903 HAS SOUS 6323684 HAS SOUPS 6317201 WITH SCORE 6324048.582
AT ITER 3489 NEW BEST:: SOT 72291931 SOS 6847541 HAS SOPS 6808862 HAS SOUS 6323643 HAS SOUPS 6317160 WITH SCORE 6324007.541
AT ITER 3524 NEW BEST:: SOT 72291461 SOS 6847235 HAS SOPS 6808556 HAS SOUS 6323334 HAS SOUPS 6316851 WITH SCORE 6323698.235
AT ITER 3529 NEW BEST:: SOT 72290985 SOS 6847201 HAS SOPS 6808522 HAS SOUS 6323300 HAS SOUPS 6316817 WITH SCORE 6323664.201
AT ITER 3532 NEW BEST:: SOT 72289819 SOS 6847233 HAS SOPS 6808554 HAS SOUS 6322363 HAS SOUPS 6315880 WITH SCORE 6322727.233
AT ITER 3557 NEW BEST:: SOT 72289503 SOS 6846639 HAS SOPS 6807960 HAS SOUS 6321453 HAS SOUPS 6314970 WITH SCORE 6321816.639
AT ITER 3641 NEW BEST:: SOT 72289175 SOS 6846027 HAS SOPS 6807348 HAS SOUS 6320841 HAS SOUPS 6314358 WITH SCORE 6321204.027
AT ITER 3679 NEW BEST:: SOT 72289175 SOS 6846022 HAS SOPS 6807343 HAS SOUS 6320835 HAS SOUPS 6314352 WITH SCORE 6321198.022
AT ITER 3701 NEW BEST:: SOT 72289022 SOS 6845716 HAS SOPS 6807037 HAS SOUS 6320529 HAS SOUPS 6314046 WITH SCORE 6320891.716
AT ITER 3713 NEW BEST:: SOT 72288128 SOS 6846639 HAS SOPS 6807960 HAS SOUS 6320070 HAS SOUPS 6313587 WITH SCORE 6320433.639
AT ITER 3742 NEW BEST:: SOT 72288332 SOS 6846435 HAS SOPS 6807756 HAS SOUS 6319866 HAS SOUPS 6313383 WITH SCORE 6320229.435
AT ITER 3773 NEW BEST:: SOT 72288064 SOS 6845899 HAS SOPS 6807220 HAS SOUS 6319330 HAS SOUPS 6312847 WITH SCORE 6319692.899
AT ITER 3861 NEW BEST:: SOT 72287848 SOS 6845791 HAS SOPS 6807112 HAS SOUS 6319220 HAS SOUPS 6312737 WITH SCORE 6319582.791
AT ITER 3987 NEW BEST:: SOT 72287463 SOS 6845179 HAS SOPS 6806500 HAS SOUS 6318608 HAS SOUPS 6312125 WITH SCORE 6318970.179
AT ITER 4054 NEW BEST:: SOT 72287329 SOS 6845045 HAS SOPS 6806366 HAS SOUS 6318340 HAS SOUPS 6311857 WITH SCORE 6318702.045
AT ITER 4086 NEW BEST:: SOT 72286853 SOS 6845011 HAS SOPS 6806332 HAS SOUS 6318306 HAS SOUPS 6311823 WITH SCORE 6318668.011
AT ITER 4130 NEW BEST:: SOT 72286806 SOS 6844964 HAS SOPS 6806285 HAS SOUS 6318259 HAS SOUPS 6311776 WITH SCORE 6318620.964
AT ITER 4142 NEW BEST:: SOT 72286349 SOS 6844029 HAS SOPS 6805350 HAS SOUS 6317324 HAS SOUPS 6310841 WITH SCORE 6317685.029
AT ITER 4189 NEW BEST:: SOT 72287215 SOS 6845698 HAS SOPS 6803074 HAS SOUS 6315665 HAS SOUPS 6308714 WITH SCORE 6315559.698
AT ITER 4321 NEW BEST:: SOT 72286962 SOS 6845192 HAS SOPS 6802568 HAS SOUS 6315159 HAS SOUPS 6308208 WITH SCORE 6315053.192
AT ITER 4346 NEW BEST:: SOT 72286374 SOS 6844934 HAS SOPS 6802310 HAS SOUS 6314901 HAS SOUPS 6307950 WITH SCORE 6314794.934
AT ITER 4444 NEW BEST:: SOT 72285839 SOS 6844782 HAS SOPS 6802158 HAS SOUS 6314749 HAS SOUPS 6307798 WITH SCORE 6314642.782
AT ITER 4458 NEW BEST:: SOT 72285544 SOS 6844629 HAS SOPS 6802005 HAS SOUS 6314594 HAS SOUPS 6307643 WITH SCORE 6314487.629
AT ITER 4466 NEW BEST:: SOT 72285790 SOS 6844488 HAS SOPS 6801864 HAS SOUS 6314453 HAS SOUPS 6307502 WITH SCORE 6314346.488
AT ITER 4476 NEW BEST:: SOT 72285622 SOS 6844158 HAS SOPS 6801534 HAS SOUS 6314123 HAS SOUPS 6307172 WITH SCORE 6314016.158
AT ITER 4484 NEW BEST:: SOT 72285218 SOS 6844005 HAS SOPS 6801381 HAS SOUS 6313966 HAS SOUPS 6307015 WITH SCORE 6313859.005
AT ITER 4506 NEW BEST:: SOT 72284649 SOS 6843699 HAS SOPS 6801075 HAS SOUS 6313658 HAS SOUPS 6306707 WITH SCORE 6313550.699
AT ITER 4550 NEW BEST:: SOT 72284314 SOS 6843087 HAS SOPS 6800463 HAS SOUS 6313046 HAS SOUPS 6306095 WITH SCORE 6312938.087
AT ITER 4614 NEW BEST:: SOT 72283807 SOS 6842781 HAS SOPS 6800157 HAS SOUS 6312740 HAS SOUPS 6305789 WITH SCORE 6312631.781
AT ITER 4633 NEW BEST:: SOT 72283790 SOS 6842629 HAS SOPS 6800005 HAS SOUS 6312573 HAS SOUPS 6305622 WITH SCORE 6312464.629
AT ITER 4634 NEW BEST:: SOT 72283790 SOS 6842562 HAS SOPS 6799938 HAS SOUS 6312506 HAS SOUPS 6305555 WITH SCORE 6312397.562
AT ITER 4673 NEW BEST:: SOT 72283462 SOS 6842818 HAS SOPS 6800194 HAS SOUS 6312281 HAS SOUPS 6305330 WITH SCORE 6312172.818
AT ITER 4688 NEW BEST:: SOT 72283546 SOS 6843136 HAS SOPS 6799897 HAS SOUS 6312400 HAS SOUPS 6305209 WITH SCORE 6312052.136
AT ITER 4695 NEW BEST:: SOT 72283073 SOS 6842830 HAS SOPS 6799591 HAS SOUS 6312094 HAS SOUPS 6304903 WITH SCORE 6311745.83
AT ITER 4715 NEW BEST:: SOT 72282653 SOS 6842218 HAS SOPS 6798979 HAS SOUS 6311482 HAS SOUPS 6304291 WITH SCORE 6311133.218
AT ITER 4722 NEW BEST:: SOT 72282525 SOS 6842090 HAS SOPS 6798851 HAS SOUS 6311354 HAS SOUPS 6304163 WITH SCORE 6311005.09
AT ITER 4808 NEW BEST:: SOT 72282525 SOS 6841492 HAS SOPS 6798253 HAS SOUS 6310756 HAS SOUPS 6303565 WITH SCORE 6310406.492
AT ITER 4864 NEW BEST:: SOT 72281821 SOS 6840436 HAS SOPS 6797197 HAS SOUS 6309348 HAS SOUPS 6302157 WITH SCORE 6308997.436
AT ITER 4945 NEW BEST:: SOT 72273189 SOS 6924932 HAS SOPS 6881693 HAS SOUS 6303482 HAS SOUPS 6296291 WITH SCORE 6303215.932
AT ITER 5021 NEW BEST:: SOT 72273173 SOS 6924923 HAS SOPS 6881684 HAS SOUS 6303473 HAS SOUPS 6296282 WITH SCORE 6303206.923
AT ITER 5039 NEW BEST:: SOT 72273173 SOS 6924850 HAS SOPS 6881611 HAS SOUS 6303400 HAS SOUPS 6296209 WITH SCORE 6303133.85
AT ITER 5123 NEW BEST:: SOT 72273127 SOS 6924804 HAS SOPS 6881565 HAS SOUS 6303354 HAS SOUPS 6296163 WITH SCORE 6303087.804
AT ITER 5145 NEW BEST:: SOT 72272784 SOS 6924192 HAS SOPS 6880953 HAS SOUS 6302742 HAS SOUPS 6295551 WITH SCORE 6302475.192
AT ITER 5199 NEW BEST:: SOT 72272734 SOS 6924554 HAS SOPS 6881315 HAS SOUS 6302660 HAS SOUPS 6295469 WITH SCORE 6302393.554
AT ITER 5234 NEW BEST:: SOT 72272734 SOS 6924359 HAS SOPS 6881120 HAS SOUS 6302465 HAS SOUPS 6295274 WITH SCORE 6302198.359
AT ITER 5345 NEW BEST:: SOT 72272254 SOS 6923747 HAS SOPS 6880508 HAS SOUS 6301853 HAS SOUPS 6294662 WITH SCORE 6301585.747
AT ITER 5353 NEW BEST:: SOT 72271671 SOS 6923312 HAS SOPS 6880073 HAS SOUS 6301418 HAS SOUPS 6294227 WITH SCORE 6301150.312
AT ITER 5407 NEW BEST:: SOT 72270248 SOS 6922038 HAS SOPS 6878799 HAS SOUS 6299714 HAS SOUPS 6292523 WITH SCORE 6299445.038
AT ITER 5429 NEW BEST:: SOT 72270423 SOS 6939535 HAS SOPS 6878340 HAS SOUS 6299736 HAS SOUPS 6292064 WITH SCORE 6299003.535
AT ITER 5507 NEW BEST:: SOT 72270297 SOS 6939535 HAS SOPS 6878214 HAS SOUS 6299658 HAS SOUPS 6291938 WITH SCORE 6298877.535
AT ITER 5555 NEW BEST:: SOT 72270197 SOS 6939285 HAS SOPS 6877964 HAS SOUS 6299408 HAS SOUPS 6291688 WITH SCORE 6298627.285
AT ITER 5611 NEW BEST:: SOT 72269925 SOS 6939653 HAS SOPS 6878332 HAS SOUS 6299167 HAS SOUPS 6291447 WITH SCORE 6298386.653
AT ITER 5614 NEW BEST:: SOT 72269803 SOS 6939409 HAS SOPS 6878088 HAS SOUS 6298923 HAS SOUPS 6291203 WITH SCORE 6298142.409
AT ITER 5622 NEW BEST:: SOT 72269762 SOS 6939245 HAS SOPS 6877924 HAS SOUS 6298718 HAS SOUPS 6290998 WITH SCORE 6297937.245
AT ITER 5787 NEW BEST:: SOT 72269378 SOS 6938093 HAS SOPS 6876772 HAS SOUS 6297566 HAS SOUPS 6289846 WITH SCORE 6296784.093
AT ITER 5820 NEW BEST:: SOT 72268826 SOS 6937481 HAS SOPS 6876160 HAS SOUS 6296954 HAS SOUPS 6289234 WITH SCORE 6296171.481
AT ITER 5914 NEW BEST:: SOT 72268272 SOS 6937175 HAS SOPS 6875854 HAS SOUS 6296645 HAS SOUPS 6288925 WITH SCORE 6295862.175
AT ITER 5966 NEW BEST:: SOT 72267996 SOS 6936819 HAS SOPS 6875498 HAS SOUS 6296289 HAS SOUPS 6288569 WITH SCORE 6295505.819
AT ITER 5983 NEW BEST:: SOT 72267996 SOS 6936819 HAS SOPS 6875498 HAS SOUS 6296286 HAS SOUPS 6288566 WITH SCORE 6295502.819
AT ITER 6002 NEW BEST:: SOT 72267594 SOS 6936417 HAS SOPS 6875096 HAS SOUS 6295482 HAS SOUPS 6287762 WITH SCORE 6294698.417
AT ITER 6009 NEW BEST:: SOT 72267420 SOS 6936685 HAS SOPS 6875364 HAS SOUS 6295134 HAS SOUPS 6287414 WITH SCORE 6294350.685
AT ITER 6055 NEW BEST:: SOT 72266933 SOS 6935714 HAS SOPS 6874393 HAS SOUS 6294160 HAS SOUPS 6286440 WITH SCORE 6293375.714
AT ITER 6120 NEW BEST:: SOT 72266405 SOS 6935542 HAS SOPS 6874221 HAS SOUS 6293984 HAS SOUPS 6286264 WITH SCORE 6293199.542
AT ITER 6129 NEW BEST:: SOT 72265493 SOS 6934630 HAS SOPS 6873309 HAS SOUS 6293727 HAS SOUPS 6286007 WITH SCORE 6292941.63
AT ITER 6153 NEW BEST:: SOT 72264942 SOS 6934324 HAS SOPS 6873003 HAS SOUS 6293421 HAS SOUPS 6285701 WITH SCORE 6292635.324
AT ITER 6169 NEW BEST:: SOT 72264750 SOS 6933940 HAS SOPS 6872619 HAS SOUS 6293035 HAS SOUPS 6285315 WITH SCORE 6292248.94
AT ITER 6213 NEW BEST:: SOT 72264300 SOS 6933328 HAS SOPS 6872007 HAS SOUS 6292423 HAS SOUPS 6284703 WITH SCORE 6291636.328
AT ITER 6338 NEW BEST:: SOT 72264325 SOS 6933076 HAS SOPS 6871755 HAS SOUS 6291867 HAS SOUPS 6284147 WITH SCORE 6291080.076
AT ITER 6408 NEW BEST:: SOT 72263873 SOS 6932464 HAS SOPS 6871143 HAS SOUS 6291251 HAS SOUPS 6283531 WITH SCORE 6290463.464
AT ITER 6471 NEW BEST:: SOT 72263873 SOS 6932337 HAS SOPS 6871016 HAS SOUS 6291124 HAS SOUPS 6283404 WITH SCORE 6290336.337
AT ITER 6575 NEW BEST:: SOT 72263730 SOS 6932204 HAS SOPS 6870883 HAS SOUS 6290991 HAS SOUPS 6283271 WITH SCORE 6290203.204
AT ITER 6598 NEW BEST:: SOT 72263173 SOS 6932008 HAS SOPS 6870687 HAS SOUS 6290795 HAS SOUPS 6283075 WITH SCORE 6290007.008
AT ITER 6644 NEW BEST:: SOT 72262766 SOS 6931601 HAS SOPS 6870280 HAS SOUS 6290292 HAS SOUPS 6282572 WITH SCORE 6289503.601
AT ITER 6656 NEW BEST:: SOT 72262613 SOS 6931295 HAS SOPS 6869974 HAS SOUS 6289986 HAS SOUPS 6282266 WITH SCORE 6289197.295
AT ITER 6670 NEW BEST:: SOT 72262558 SOS 6931050 HAS SOPS 6869729 HAS SOUS 6289831 HAS SOUPS 6282111 WITH SCORE 6289042.05
AT ITER 6684 NEW BEST:: SOT 72262410 SOS 6930604 HAS SOPS 6869283 HAS SOUS 6289633 HAS SOUPS 6281913 WITH SCORE 6288843.604
AT ITER 6731 NEW BEST:: SOT 72262364 SOS 6930558 HAS SOPS 6869237 HAS SOUS 6289587 HAS SOUPS 6281867 WITH SCORE 6288797.558
AT ITER 6744 NEW BEST:: SOT 72262364 SOS 6930558 HAS SOPS 6869237 HAS SOUS 6289107 HAS SOUPS 6281387 WITH SCORE 6288317.558
AT ITER 6745 NEW BEST:: SOT 72261874 SOS 6929578 HAS SOPS 6868257 HAS SOUS 6287637 HAS SOUPS 6279917 WITH SCORE 6286846.578
AT ITER 6893 NEW BEST:: SOT 72261568 SOS 6928672 HAS SOPS 6867351 HAS SOUS 6286731 HAS SOUPS 6279011 WITH SCORE 6285939.672
AT ITER 6992 NEW BEST:: SOT 72261568 SOS 6928672 HAS SOPS 6867351 HAS SOUS 6286703 HAS SOUPS 6278983 WITH SCORE 6285911.672
AT ITER 7000 NEW BEST:: SOT 72261422 SOS 6928453 HAS SOPS 6867132 HAS SOUS 6286411 HAS SOUPS 6278691 WITH SCORE 6285619.453
AT ITER 7028 NEW BEST:: SOT 72261337 SOS 6928368 HAS SOPS 6867047 HAS SOUS 6286326 HAS SOUPS 6278606 WITH SCORE 6285534.368
AT ITER 7088 NEW BEST:: SOT 72261337 SOS 6928368 HAS SOPS 6867047 HAS SOUS 6286324 HAS SOUPS 6278604 WITH SCORE 6285532.368
AT ITER 7177 NEW BEST:: SOT 72261011 SOS 6928215 HAS SOPS 6866894 HAS SOUS 6286169 HAS SOUPS 6278449 WITH SCORE 6285377.215
AT ITER 7337 NEW BEST:: SOT 72260629 SOS 6927603 HAS SOPS 6866282 HAS SOUS 6285224 HAS SOUPS 6277504 WITH SCORE 6284431.603
AT ITER 7384 NEW BEST:: SOT 72260544 SOS 6927291 HAS SOPS 6865970 HAS SOUS 6285183 HAS SOUPS 6277463 WITH SCORE 6284390.291
AT ITER 7444 NEW BEST:: SOT 72260324 SOS 6927054 HAS SOPS 6865733 HAS SOUS 6285049 HAS SOUPS 6277329 WITH SCORE 6284256.054
AT ITER 7445 NEW BEST:: SOT 72260324 SOS 6926929 HAS SOPS 6865608 HAS SOUS 6284924 HAS SOUPS 6277204 WITH SCORE 6284130.929
AT ITER 7465 NEW BEST:: SOT 72260273 SOS 6927013 HAS SOPS 6863046 HAS SOUS 6282362 HAS SOUPS 6274642 WITH SCORE 6281569.013
AT ITER 7484 NEW BEST:: SOT 72259903 SOS 6926692 HAS SOPS 6862725 HAS SOUS 6282041 HAS SOUPS 6274321 WITH SCORE 6281247.692
AT ITER 7493 NEW BEST:: SOT 72259510 SOS 6926080 HAS SOPS 6862113 HAS SOUS 6281427 HAS SOUPS 6273707 WITH SCORE 6280633.08
AT ITER 7494 NEW BEST:: SOT 72259457 SOS 6925974 HAS SOPS 6862007 HAS SOUS 6281374 HAS SOUPS 6273654 WITH SCORE 6280579.974
AT ITER 7502 NEW BEST:: SOT 72259584 SOS 6926228 HAS SOPS 6862261 HAS SOUS 6281059 HAS SOUPS 6273339 WITH SCORE 6280265.228
AT ITER 7524 NEW BEST:: SOT 72259142 SOS 6925344 HAS SOPS 6861377 HAS SOUS 6279733 HAS SOUPS 6272013 WITH SCORE 6278938.344
AT ITER 7606 NEW BEST:: SOT 72259005 SOS 6925223 HAS SOPS 6861256 HAS SOUS 6279612 HAS SOUPS 6271892 WITH SCORE 6278817.223
AT ITER 7608 NEW BEST:: SOT 72258612 SOS 6924899 HAS SOPS 6860932 HAS SOUS 6279286 HAS SOUPS 6271566 WITH SCORE 6278490.899
AT ITER 7700 NEW BEST:: SOT 72258388 SOS 6924746 HAS SOPS 6860779 HAS SOUS 6279133 HAS SOUPS 6271413 WITH SCORE 6278337.746
AT ITER 7800 NEW BEST:: SOT 72257885 SOS 6924243 HAS SOPS 6860276 HAS SOUS 6278127 HAS SOUPS 6270407 WITH SCORE 6277331.243
AT ITER 7844 NEW BEST:: SOT 72257642 SOS 6923757 HAS SOPS 6859790 HAS SOUS 6277641 HAS SOUPS 6269921 WITH SCORE 6276844.757
AT ITER 8015 NEW BEST:: SOT 72257642 SOS 6923328 HAS SOPS 6859361 HAS SOUS 6277641 HAS SOUPS 6269921 WITH SCORE 6276844.328
AT ITER 8118 NEW BEST:: SOT 72257037 SOS 6923036 HAS SOPS 6859069 HAS SOUS 6277349 HAS SOUPS 6269629 WITH SCORE 6276552.036
AT ITER 8157 NEW BEST:: SOT 72257037 SOS 6922944 HAS SOPS 6858977 HAS SOUS 6277257 HAS SOUPS 6269537 WITH SCORE 6276459.944
AT ITER 8159 NEW BEST:: SOT 72257283 SOS 6923750 HAS SOPS 6858210 HAS SOUS 6277462 HAS SOUPS 6268770 WITH SCORE 6275693.75
AT ITER 8195 NEW BEST:: SOT 72257174 SOS 6923532 HAS SOPS 6857992 HAS SOUS 6277244 HAS SOUPS 6268552 WITH SCORE 6275475.532
AT ITER 8223 NEW BEST:: SOT 72256409 SOS 6922893 HAS SOPS 6857353 HAS SOUS 6276844 HAS SOUPS 6268152 WITH SCORE 6275074.893
AT ITER 8256 NEW BEST:: SOT 72256141 SOS 6922357 HAS SOPS 6856817 HAS SOUS 6276308 HAS SOUPS 6267616 WITH SCORE 6274538.357
AT ITER 8257 NEW BEST:: SOT 72255567 SOS 6922233 HAS SOPS 6856693 HAS SOUS 6276184 HAS SOUPS 6267492 WITH SCORE 6274414.233
AT ITER 8488 NEW BEST:: SOT 72255317 SOS 6921733 HAS SOPS 6856193 HAS SOUS 6275684 HAS SOUPS 6266992 WITH SCORE 6273913.733
AT ITER 8568 NEW BEST:: SOT 72254812 SOS 6921121 HAS SOPS 6855581 HAS SOUS 6275072 HAS SOUPS 6266380 WITH SCORE 6273301.121
AT ITER 8574 NEW BEST:: SOT 72254205 SOS 6920825 HAS SOPS 6855285 HAS SOUS 6274778 HAS SOUPS 6266086 WITH SCORE 6273006.825
AT ITER 8689 NEW BEST:: SOT 72254088 SOS 6920708 HAS SOPS 6855168 HAS SOUS 6274661 HAS SOUPS 6265969 WITH SCORE 6272889.708
AT ITER 8707 NEW BEST:: SOT 72254201 SOS 6920934 HAS SOPS 6855394 HAS SOUS 6274281 HAS SOUPS 6265589 WITH SCORE 6272509.934
AT ITER 8815 NEW BEST:: SOT 72253904 SOS 6920147 HAS SOPS 6854607 HAS SOUS 6273494 HAS SOUPS 6264802 WITH SCORE 6271722.147
AT ITER 8828 NEW BEST:: SOT 72253465 SOS 6919535 HAS SOPS 6853995 HAS SOUS 6272882 HAS SOUPS 6264190 WITH SCORE 6271109.535
AT ITER 8849 NEW BEST:: SOT 72253347 SOS 6919417 HAS SOPS 6853877 HAS SOUS 6272764 HAS SOUPS 6264072 WITH SCORE 6270991.417
AT ITER 8914 NEW BEST:: SOT 72252740 SOS 6919121 HAS SOPS 6853581 HAS SOUS 6272468 HAS SOUPS 6263776 WITH SCORE 6270695.121
AT ITER 8943 NEW BEST:: SOT 72252715 SOS 6919071 HAS SOPS 6853531 HAS SOUS 6272418 HAS SOUPS 6263726 WITH SCORE 6270645.071
AT ITER 8960 NEW BEST:: SOT 72252325 SOS 6916937 HAS SOPS 6851397 HAS SOUS 6271734 HAS SOUPS 6263042 WITH SCORE 6269958.937
AT ITER 8986 NEW BEST:: SOT 72252126 SOS 6916770 HAS SOPS 6851230 HAS SOUS 6271566 HAS SOUPS 6262874 WITH SCORE 6269790.77
AT ITER 9030 NEW BEST:: SOT 72252126 SOS 6916763 HAS SOPS 6851223 HAS SOUS 6271559 HAS SOUPS 6262867 WITH SCORE 6269783.763
AT ITER 9131 NEW BEST:: SOT 72251942 SOS 6916579 HAS SOPS 6851039 HAS SOUS 6271375 HAS SOUPS 6262683 WITH SCORE 6269599.579
AT ITER 9211 NEW BEST:: SOT 72251942 SOS 6916560 HAS SOPS 6851020 HAS SOUS 6271356 HAS SOUPS 6262664 WITH SCORE 6269580.56
AT ITER 9326 NEW BEST:: SOT 72251232 SOS 6915495 HAS SOPS 6849955 HAS SOUS 6269936 HAS SOUPS 6261244 WITH SCORE 6268159.495
AT ITER 9367 NEW BEST:: SOT 72251232 SOS 6914919 HAS SOPS 6849379 HAS SOUS 6269360 HAS SOUPS 6260668 WITH SCORE 6267582.919
AT ITER 9390 NEW BEST:: SOT 72251232 SOS 6914702 HAS SOPS 6849162 HAS SOUS 6269143 HAS SOUPS 6260451 WITH SCORE 6267365.702
AT ITER 9409 NEW BEST:: SOT 72251232 SOS 6914729 HAS SOPS 6849189 HAS SOUS 6269140 HAS SOUPS 6260448 WITH SCORE 6267362.729
AT ITER 9472 NEW BEST:: SOT 72251232 SOS 6914633 HAS SOPS 6849093 HAS SOUS 6269044 HAS SOUPS 6260352 WITH SCORE 6267266.633
AT ITER 9690 NEW BEST:: SOT 72250769 SOS 6914625 HAS SOPS 6849085 HAS SOUS 6269036 HAS SOUPS 6260344 WITH SCORE 6267258.625
AT ITER 9708 NEW BEST:: SOT 72250165 SOS 6913719 HAS SOPS 6848179 HAS SOUS 6267828 HAS SOUPS 6259136 WITH SCORE 6266049.719
AT ITER 9720 NEW BEST:: SOT 72249984 SOS 6913207 HAS SOPS 6847667 HAS SOUS 6267597 HAS SOUPS 6258905 WITH SCORE 6265818.207
AT ITER 9758 NEW BEST:: SOT 72249725 SOS 6912430 HAS SOPS 6846890 HAS SOUS 6266820 HAS SOUPS 6258128 WITH SCORE 6265040.43
AT ITER 9801 NEW BEST:: SOT 72249557 SOS 6912094 HAS SOPS 6846554 HAS SOUS 6266484 HAS SOUPS 6257792 WITH SCORE 6264704.094
AT ITER 9845 NEW BEST:: SOT 72249557 SOS 6912094 HAS SOPS 6846554 HAS SOUS 6266140 HAS SOUPS 6257448 WITH SCORE 6264360.094
AT ITER 9858 NEW BEST:: SOT 72249205 SOS 6911566 HAS SOPS 6846026 HAS SOUS 6265436 HAS SOUPS 6256744 WITH SCORE 6263655.566
AT ITER 9867 NEW BEST:: SOT 72248986 SOS 6911507 HAS SOPS 6845967 HAS SOUS 6265377 HAS SOUPS 6256685 WITH SCORE 6263596.507
AT ITER 9980 NEW BEST:: SOT 72248759 SOS 6911053 HAS SOPS 6845513 HAS SOUS 6264920 HAS SOUPS 6256228 WITH SCORE 6263139.053

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-PT-L00050M0005C002P002G001"
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 FamilyReunion-PT-L00050M0005C002P002G001, 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 r078-smll-158922972300232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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