Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r507-tall-171654351200227.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool ltsmin
Input is MultiCrashLeafsetExtension-PT-S32C12, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r507-tall-171654351200227
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 19 07:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 16:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 150K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 37M May 18 16:43 model.pnml

--------------------
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 MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-00
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-01
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-02
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-03
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-04
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-05
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-06
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-07
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-08
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-09
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-10
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-11
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-12
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-13
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-14
FORMULA_NAME MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1717207461345

Invoking MCC driver with
BK_TOOL=ltsmin
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C12
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
LTLCardinality PT
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-00
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-01
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-02
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-03
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-04
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-05
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-06
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-07
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-08
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-09
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-10
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-11
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-12
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-13
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-14
Could not compute solution for formula : MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-15

BK_STOP 1717210496302

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

mcc2024
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-00
ltl formula formula --ltl=/tmp/412/ltl_0_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.900 real 1.990 user 2.570 sys
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_0_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_0_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_0_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_0_
pnml2lts-mc( 0/ 4): buchi has 4 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x55b452f0b4f4]
1: pnml2lts-mc(+0xa6596) [0x55b452f0b596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7fe00d189050]
3: pnml2lts-mc(+0x430679) [0x55b453295679]
4: pnml2lts-mc(+0x169ce3) [0x55b452fcece3]
5: pnml2lts-mc(+0x27153f) [0x55b4530d653f]
6: pnml2lts-mc(+0xba280) [0x55b452f1f280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7fe00d18b55d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7fe00d18b69a]
9: pnml2lts-mc(+0xa5681) [0x55b452f0a681]
10: pnml2lts-mc(+0xa5a10) [0x55b452f0aa10]
11: pnml2lts-mc(+0xa73a2) [0x55b452f0c3a2]
12: pnml2lts-mc(+0xa91f4) [0x55b452f0e1f4]
13: pnml2lts-mc(+0xa926b) [0x55b452f0e26b]
14: pnml2lts-mc(+0x41d800) [0x55b453282800]
15: pnml2lts-mc(+0x41da42) [0x55b453282a42]
16: pnml2lts-mc(+0x6d53b) [0x55b452ed253b]
17: pnml2lts-mc(+0x68ce1) [0x55b452ecdce1]
18: pnml2lts-mc(+0x64b02) [0x55b452ec9b02]
19: pnml2lts-mc(+0x62aca) [0x55b452ec7aca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7fe00d17424a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7fe00d174305]
22: pnml2lts-mc(+0x6485e) [0x55b452ec985e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-01
ltl formula formula --ltl=/tmp/412/ltl_1_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.390 real 2.040 user 2.130 sys
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_1_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_1_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_1_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_1_
pnml2lts-mc( 0/ 4): buchi has 3 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
free(): double free detected in tcache 2
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-02
ltl formula formula --ltl=/tmp/412/ltl_2_
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.370 real 1.920 user 2.230 sys
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_2_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_2_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_2_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_2_
pnml2lts-mc( 0/ 4): buchi has 2 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
free(): double free detected in tcache 2
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-03
ltl formula formula --ltl=/tmp/412/ltl_3_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.380 real 1.970 user 2.180 sys
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_3_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_3_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_3_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_3_
pnml2lts-mc( 0/ 4): buchi has 5 states
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
free(): double free detected in tcache 2
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-04
ltl formula formula --ltl=/tmp/412/ltl_4_
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.290 real 1.830 user 2.220 sys
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_4_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_4_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_4_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_4_
pnml2lts-mc( 0/ 4): buchi has 2 states
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
free(): double free detected in tcache 2
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-05
ltl formula formula --ltl=/tmp/412/ltl_5_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.420 real 1.990 user 2.200 sys
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_5_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_5_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_5_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_5_
pnml2lts-mc( 0/ 4): buchi has 2 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x561a440624f4]
1: pnml2lts-mc(+0xa6596) [0x561a44062596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7f15a621f050]
3: pnml2lts-mc(+0x430679) [0x561a443ec679]
4: pnml2lts-mc(+0x169ce3) [0x561a44125ce3]
5: pnml2lts-mc(+0x27153f) [0x561a4422d53f]
6: pnml2lts-mc(+0xba280) [0x561a44076280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7f15a622155d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7f15a622169a]
9: pnml2lts-mc(+0xa5681) [0x561a44061681]
10: pnml2lts-mc(+0xa5a10) [0x561a44061a10]
11: pnml2lts-mc(+0xa73a2) [0x561a440633a2]
12: pnml2lts-mc(+0xa91f4) [0x561a440651f4]
13: pnml2lts-mc(+0xa926b) [0x561a4406526b]
14: pnml2lts-mc(+0x41d800) [0x561a443d9800]
15: pnml2lts-mc(+0x41da42) [0x561a443d9a42]
16: pnml2lts-mc(+0x6d53b) [0x561a4402953b]
17: pnml2lts-mc(+0x68ce1) [0x561a44024ce1]
18: pnml2lts-mc(+0x64b02) [0x561a44020b02]
19: pnml2lts-mc(+0x62aca) [0x561a4401eaca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7f15a620a24a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7f15a620a305]
22: pnml2lts-mc(+0x6485e) [0x561a4402085e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-06
ltl formula formula --ltl=/tmp/412/ltl_6_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.420 real 1.820 user 2.290 sys
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_6_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_6_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_6_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_6_
pnml2lts-mc( 0/ 4): buchi has 5 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
free(): double free detected in tcache 2
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-07
ltl formula formula --ltl=/tmp/412/ltl_7_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.300 real 2.000 user 2.120 sys
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_7_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_7_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_7_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_7_
pnml2lts-mc( 0/ 4): buchi has 6 states
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x55a3a82644f4]
1: pnml2lts-mc(+0xa6596) [0x55a3a8264596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7fedac4f8050]
3: pnml2lts-mc(+0x430679) [0x55a3a85ee679]
4: pnml2lts-mc(+0x169ce3) [0x55a3a8327ce3]
5: pnml2lts-mc(+0x27153f) [0x55a3a842f53f]
6: pnml2lts-mc(+0xba280) [0x55a3a8278280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7fedac4fa55d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7fedac4fa69a]
9: pnml2lts-mc(+0xa5681) [0x55a3a8263681]
10: pnml2lts-mc(+0xa5a10) [0x55a3a8263a10]
11: pnml2lts-mc(+0xa73a2) [0x55a3a82653a2]
12: pnml2lts-mc(+0xa91f4) [0x55a3a82671f4]
13: pnml2lts-mc(+0xa926b) [0x55a3a826726b]
14: pnml2lts-mc(+0x41d800) [0x55a3a85db800]
15: pnml2lts-mc(+0x41da42) [0x55a3a85dba42]
16: pnml2lts-mc(+0x6d53b) [0x55a3a822b53b]
17: pnml2lts-mc(+0x68ce1) [0x55a3a8226ce1]
18: pnml2lts-mc(+0x64b02) [0x55a3a8222b02]
19: pnml2lts-mc(+0x62aca) [0x55a3a8220aca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7fedac4e324a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7fedac4e3305]
22: pnml2lts-mc(+0x6485e) [0x55a3a822285e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-08
ltl formula formula --ltl=/tmp/412/ltl_8_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.260 real 1.910 user 2.130 sys
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_8_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_8_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_8_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_8_
pnml2lts-mc( 0/ 4): buchi has 4 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x55dde08fc4f4]
1: pnml2lts-mc(+0xa6596) [0x55dde08fc596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7f5aad150050]
3: pnml2lts-mc(+0x430679) [0x55dde0c86679]
4: pnml2lts-mc(+0x169ce3) [0x55dde09bfce3]
5: pnml2lts-mc(+0x27153f) [0x55dde0ac753f]
6: pnml2lts-mc(+0xba280) [0x55dde0910280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7f5aad15255d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7f5aad15269a]
9: pnml2lts-mc(+0xa5681) [0x55dde08fb681]
10: pnml2lts-mc(+0xa5a10) [0x55dde08fba10]
11: pnml2lts-mc(+0xa73a2) [0x55dde08fd3a2]
12: pnml2lts-mc(+0xa91f4) [0x55dde08ff1f4]
13: pnml2lts-mc(+0xa926b) [0x55dde08ff26b]
14: pnml2lts-mc(+0x41d800) [0x55dde0c73800]
15: pnml2lts-mc(+0x41da42) [0x55dde0c73a42]
16: pnml2lts-mc(+0x6d53b) [0x55dde08c353b]
17: pnml2lts-mc(+0x68ce1) [0x55dde08bece1]
18: pnml2lts-mc(+0x64b02) [0x55dde08bab02]
19: pnml2lts-mc(+0x62aca) [0x55dde08b8aca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7f5aad13b24a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7f5aad13b305]
22: pnml2lts-mc(+0x6485e) [0x55dde08ba85e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-09
ltl formula formula --ltl=/tmp/412/ltl_9_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.150 real 1.900 user 2.080 sys
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_9_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_9_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_9_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_9_
pnml2lts-mc( 0/ 4): buchi has 3 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x55624ec684f4]
1: pnml2lts-mc(+0xa6596) [0x55624ec68596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7f3f24d1d050]
3: pnml2lts-mc(+0x430679) [0x55624eff2679]
4: pnml2lts-mc(+0x169ce3) [0x55624ed2bce3]
5: pnml2lts-mc(+0x27153f) [0x55624ee3353f]
6: pnml2lts-mc(+0xba280) [0x55624ec7c280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7f3f24d1f55d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7f3f24d1f69a]
9: pnml2lts-mc(+0xa5681) [0x55624ec67681]
10: pnml2lts-mc(+0xa5a10) [0x55624ec67a10]
11: pnml2lts-mc(+0xa73a2) [0x55624ec693a2]
12: pnml2lts-mc(+0xa91f4) [0x55624ec6b1f4]
13: pnml2lts-mc(+0xa926b) [0x55624ec6b26b]
14: pnml2lts-mc(+0x41d800) [0x55624efdf800]
15: pnml2lts-mc(+0x41da42) [0x55624efdfa42]
16: pnml2lts-mc(+0x6d53b) [0x55624ec2f53b]
17: pnml2lts-mc(+0x68ce1) [0x55624ec2ace1]
18: pnml2lts-mc(+0x64b02) [0x55624ec26b02]
19: pnml2lts-mc(+0x62aca) [0x55624ec24aca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7f3f24d0824a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7f3f24d08305]
22: pnml2lts-mc(+0x6485e) [0x55624ec2685e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-10
ltl formula formula --ltl=/tmp/412/ltl_10_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.170 real 1.920 user 2.100 sys
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_10_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_10_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_10_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_10_
pnml2lts-mc( 0/ 4): buchi has 1 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x557f7f28b4f4]
1: pnml2lts-mc(+0xa6596) [0x557f7f28b596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7f9c7e98b050]
3: pnml2lts-mc(+0x430679) [0x557f7f615679]
4: pnml2lts-mc(+0x169ce3) [0x557f7f34ece3]
5: pnml2lts-mc(+0x27153f) [0x557f7f45653f]
6: pnml2lts-mc(+0xba280) [0x557f7f29f280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7f9c7e98d55d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7f9c7e98d69a]
9: pnml2lts-mc(+0xa5681) [0x557f7f28a681]
10: pnml2lts-mc(+0xa5a10) [0x557f7f28aa10]
11: pnml2lts-mc(+0xa73a2) [0x557f7f28c3a2]
12: pnml2lts-mc(+0xa91f4) [0x557f7f28e1f4]
13: pnml2lts-mc(+0xa926b) [0x557f7f28e26b]
14: pnml2lts-mc(+0x41d800) [0x557f7f602800]
15: pnml2lts-mc(+0x41da42) [0x557f7f602a42]
16: pnml2lts-mc(+0x6d53b) [0x557f7f25253b]
17: pnml2lts-mc(+0x68ce1) [0x557f7f24dce1]
18: pnml2lts-mc(+0x64b02) [0x557f7f249b02]
19: pnml2lts-mc(+0x62aca) [0x557f7f247aca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7f9c7e97624a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7f9c7e976305]
22: pnml2lts-mc(+0x6485e) [0x557f7f24985e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-11
ltl formula formula --ltl=/tmp/412/ltl_11_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.520 real 2.030 user 2.060 sys
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_11_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_11_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_11_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_11_
pnml2lts-mc( 0/ 4): buchi has 2 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
free(): double free detected in tcache 2
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-12
ltl formula formula --ltl=/tmp/412/ltl_12_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.480 real 2.070 user 2.180 sys
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_12_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_12_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_12_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_12_
pnml2lts-mc( 0/ 4): buchi has 2 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x55b60e79f4f4]
1: pnml2lts-mc(+0xa6596) [0x55b60e79f596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7fd5ba282050]
3: pnml2lts-mc(+0x430679) [0x55b60eb29679]
4: pnml2lts-mc(+0x169ce3) [0x55b60e862ce3]
5: pnml2lts-mc(+0x27153f) [0x55b60e96a53f]
6: pnml2lts-mc(+0xba280) [0x55b60e7b3280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7fd5ba28455d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7fd5ba28469a]
9: pnml2lts-mc(+0xa5681) [0x55b60e79e681]
10: pnml2lts-mc(+0xa5a10) [0x55b60e79ea10]
11: pnml2lts-mc(+0xa73a2) [0x55b60e7a03a2]
12: pnml2lts-mc(+0xa91f4) [0x55b60e7a21f4]
13: pnml2lts-mc(+0xa926b) [0x55b60e7a226b]
14: pnml2lts-mc(+0x41d800) [0x55b60eb16800]
15: pnml2lts-mc(+0x41da42) [0x55b60eb16a42]
16: pnml2lts-mc(+0x6d53b) [0x55b60e76653b]
17: pnml2lts-mc(+0x68ce1) [0x55b60e761ce1]
18: pnml2lts-mc(+0x64b02) [0x55b60e75db02]
19: pnml2lts-mc(+0x62aca) [0x55b60e75baca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7fd5ba26d24a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7fd5ba26d305]
22: pnml2lts-mc(+0x6485e) [0x55b60e75d85e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-13
ltl formula formula --ltl=/tmp/412/ltl_13_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.280 real 1.980 user 2.080 sys
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_13_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_13_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_13_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_13_
pnml2lts-mc( 0/ 4): buchi has 3 states
pnml2lts-mc( 0/ 4): Weak Buchi automaton detected, adding non-accepting as progress label.
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x5594dfed14f4]
1: pnml2lts-mc(+0xa6596) [0x5594dfed1596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7f5a0b0bf050]
3: pnml2lts-mc(+0x430679) [0x5594e025b679]
4: pnml2lts-mc(+0x169ce3) [0x5594dff94ce3]
5: pnml2lts-mc(+0x27153f) [0x5594e009c53f]
6: pnml2lts-mc(+0xba280) [0x5594dfee5280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7f5a0b0c155d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7f5a0b0c169a]
9: pnml2lts-mc(+0xa5681) [0x5594dfed0681]
10: pnml2lts-mc(+0xa5a10) [0x5594dfed0a10]
11: pnml2lts-mc(+0xa73a2) [0x5594dfed23a2]
12: pnml2lts-mc(+0xa91f4) [0x5594dfed41f4]
13: pnml2lts-mc(+0xa926b) [0x5594dfed426b]
14: pnml2lts-mc(+0x41d800) [0x5594e0248800]
15: pnml2lts-mc(+0x41da42) [0x5594e0248a42]
16: pnml2lts-mc(+0x6d53b) [0x5594dfe9853b]
17: pnml2lts-mc(+0x68ce1) [0x5594dfe93ce1]
18: pnml2lts-mc(+0x64b02) [0x5594dfe8fb02]
19: pnml2lts-mc(+0x62aca) [0x5594dfe8daca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7f5a0b0aa24a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7f5a0b0aa305]
22: pnml2lts-mc(+0x6485e) [0x5594dfe8f85e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-14
ltl formula formula --ltl=/tmp/412/ltl_14_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.560 real 1.940 user 2.300 sys
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_14_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_14_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_14_
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_14_
pnml2lts-mc( 0/ 4): buchi has 7 states
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x5591d45184f4]
1: pnml2lts-mc(+0xa6596) [0x5591d4518596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7f91843ab050]
3: pnml2lts-mc(+0x430679) [0x5591d48a2679]
4: pnml2lts-mc(+0x169ce3) [0x5591d45dbce3]
5: pnml2lts-mc(+0x27153f) [0x5591d46e353f]
6: pnml2lts-mc(+0xba280) [0x5591d452c280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7f91843ad55d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7f91843ad69a]
9: pnml2lts-mc(+0xa5681) [0x5591d4517681]
10: pnml2lts-mc(+0xa5a10) [0x5591d4517a10]
11: pnml2lts-mc(+0xa73a2) [0x5591d45193a2]
12: pnml2lts-mc(+0xa91f4) [0x5591d451b1f4]
13: pnml2lts-mc(+0xa926b) [0x5591d451b26b]
14: pnml2lts-mc(+0x41d800) [0x5591d488f800]
15: pnml2lts-mc(+0x41da42) [0x5591d488fa42]
16: pnml2lts-mc(+0x6d53b) [0x5591d44df53b]
17: pnml2lts-mc(+0x68ce1) [0x5591d44dace1]
18: pnml2lts-mc(+0x64b02) [0x5591d44d6b02]
19: pnml2lts-mc(+0x62aca) [0x5591d44d4aca]
20: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7f918439624a]
21: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7f9184396305]
22: pnml2lts-mc(+0x6485e) [0x5591d44d685e]
ltl formula name MultiCrashLeafsetExtension-PT-S32C12-LTLCardinality-15
ltl formula formula --ltl=/tmp/412/ltl_15_
pnml2lts-mc( 0/ 4): Loading model from model.pnml
pnml2lts-mc( 0/ 4): Edge label is id
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
Warning: program compiled against libxml 210 using older 209
pnml2lts-mc( 0/ 4): Petri net has 36724 places, 54827 transitions and 203278 arcs
pnml2lts-mc( 0/ 4): Petri net gen analyzed
pnml2lts-mc( 0/ 4): There are no safe places
pnml2lts-mc( 0/ 4): Loading Petri net took 5.540 real 2.120 user 2.130 sys
pnml2lts-mc( 3/ 4): LTL layer: formula: /tmp/412/ltl_15_
pnml2lts-mc( 0/ 4): LTL layer: formula: /tmp/412/ltl_15_
pnml2lts-mc( 1/ 4): LTL layer: formula: /tmp/412/ltl_15_
pnml2lts-mc( 2/ 4): LTL layer: formula: /tmp/412/ltl_15_
pnml2lts-mc( 0/ 4): buchi has 3 states
pnml2lts-mc( 0/ 4), ** error **: area memory exhausted
*** segmentation fault ***

Please send information on how to reproduce this problem to:
ltsmin-support@lists.utwente.nl
along with all output preceding this message.
In addition, include the following information:
Package: ltsmin 3.1.0
Stack trace:
0: pnml2lts-mc(+0xa64f4) [0x5611d8dcd4f4]
1: pnml2lts-mc(+0xa6596) [0x5611d8dcd596]
2: /lib/x86_64-linux-gnu/libc.so.6(+0x3c050) [0x7f4b07315050]
3: pnml2lts-mc(+0x430679) [0x5611d9157679]
4: pnml2lts-mc(+0x169ce3) [0x5611d8e90ce3]
5: pnml2lts-mc(+0x27153f) [0x5611d8f9853f]
6: pnml2lts-mc(+0xba280) [0x5611d8de1280]
7: /lib/x86_64-linux-gnu/libc.so.6(+0x3e55d) [0x7f4b0731755d]
8: /lib/x86_64-linux-gnu/libc.so.6(+0x3e69a) [0x7f4b0731769a]
9: pnml2lts-mc(+0xa5681) [0x5611d8dcc681]
10: pnml2lts-mc(+0xa5a10) [0x5611d8dcca10]
11: pnml2lts-mc(+0xa73a2) [0x5611d8dce3a2]
12: pnml2lts-mc(+0xa91f4) [0x5611d8dd01f4]
13: pnml2lts-mc(+0x41d800) [0x5611d9144800]
14: pnml2lts-mc(+0x41da42) [0x5611d9144a42]
15: pnml2lts-mc(+0x6d53b) [0x5611d8d9453b]
16: pnml2lts-mc(+0x68ce1) [0x5611d8d8fce1]
17: pnml2lts-mc(+0x64b02) [0x5611d8d8bb02]
18: pnml2lts-mc(+0x62aca) [0x5611d8d89aca]
19: /lib/x86_64-linux-gnu/libc.so.6(+0x2724a) [0x7f4b0730024a]
20: /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0x85) [0x7f4b07300305]
21: pnml2lts-mc(+0x6485e) [0x5611d8d8b85e]

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="MultiCrashLeafsetExtension-PT-S32C12"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="ltsmin"
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-5568"
echo " Executing tool ltsmin"
echo " Input is MultiCrashLeafsetExtension-PT-S32C12, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r507-tall-171654351200227"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C12.tgz
mv MultiCrashLeafsetExtension-PT-S32C12 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;