Storm.automatic

Benchmark
Model:vgs v.1 (MA)
Parameter(s)NR_VARIANT = 5, TIME_BOUND = 10000
Property:MinExpTimeFailed (exp-time)
Invocation (automatic)
/home/tq429871/storm/build/bin/storm --jani /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/vgs/vgs.5.jani --janiproperty MinExpTimeFailed --constants TIME_BOUND=10000 --engine automatic --sylvan:maxmem 4096 --sylvan:threads 4 --timemem
Automatic selection
Execution
Walltime:1370.7986538410187s
Return code:11
Log
Storm 1.6.2

Date: Sat Sep  5 21:10:16 2020
Command line arguments: --jani /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/vgs/vgs.5.jani --janiproperty MinExpTimeFailed --constants TIME_BOUND=10000 --engine automatic '--sylvan:maxmem' 4096 '--sylvan:threads' 4 --timemem
Current working directory: /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks

Time for model input parsing: 0.363s.

Automatic engine picked the following settings: 
	engine=hybrid	 bisimulation=false	 exact=false
STDERR
BDD Unique table full, 66730169 of 67108864 buckets filled!
BDD Unique table full, 66730169 of 67108864 buckets filled!
BDD Unique table full, 66730169 of 67108864 buckets filled!
BDD Unique table full, 66730169 of 67108864 buckets filled!
ERROR: The program received signal *** Error in `/home/tq429871/storm/build/bin/storm': free(): corrupted unsorted chunks: 0x00000000007d5910 ***
*** Error in `/home/tq429871/storm/build/bin/storm': free(): corrupted unsorted chunks: 0x00000000007a6f90 ***
11 and will be aborted in 3s.
Received signal 11