fond
Model Checking Contest @ Petri Nets 2013
Milano, Italy, June 25, 2013
marcie: ReachabilityMix on Philosophers/005000 (P/T)
Last Updated
Apr. 26, 2013

Introduction

This page shows the outputs produced by the execution of marcie on Philosophers/005000 (P/T). We provide:

About the Execution

Execution Summary
Memory (MB) CPU (s) End
1290.35 n.a. timeout

Execution Chart

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

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.

export BK_INPUT=Philosophers-PT-005000
export BK_EXAMINATION=ReachabilityMix
export BK_TOOL=marcie
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1654
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/Philosophers-PT-005000
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool marcie:'
echo ' Test is Philosophers-PT-005000, examination is ReachabilityMix'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of marcie for Philosophers/005000 (P/T)

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


execution on node 3: quadhexa-2.u-paris10.fr (runId=136968525200167_n_3)
=====================================================================
runnning marcie on Philosophers-PT-005000 (ReachabilityMix)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool marcie:
Test is Philosophers-PT-005000, examination is ReachabilityMix
=====================================================================

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

START 1369711535

Marcie rev. 1103M (build: rohrch on 2013-02-17)
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 --mem=4 --mcc-file=ReachabilityMix.txt

constant oo registered with value < INFINITY >
parse successfull!


(NrP: 25000 NrTr: 25000)

net check time: 0m0sec

parse mcc successfull!

place and transition orderings generation:12m35sec

init dd package: 0m5sec


before gc: list nodes free: 885065

after gc: idd nodes used:5657, unused:15994343; list nodes free:71259043

before gc: list nodes free: 876441

after gc: idd nodes used:7999, unused:15992001; list nodes free:71240777

before gc: list nodes free: 870222

after gc: idd nodes used:9796, unused:15990204; list nodes free:71226760

before gc: list nodes free: 865014

after gc: idd nodes used:11311, unused:15988689; list nodes free:71214943

before gc: list nodes free: 860442

after gc: idd nodes used:12645, unused:15987355; list nodes free:71204537

before gc: list nodes free: 856317

after gc: idd nodes used:13851, unused:15986149; list nodes free:71195131

before gc: list nodes free: 852526

after gc: idd nodes used:14960, unused:15985040; list nodes free:71186480

before gc: list nodes free: 849002

after gc: idd nodes used:15992, unused:15984008; list nodes free:71178430

before gc: list nodes free: 845691

after gc: idd nodes used:16962, unused:15983038; list nodes free:71170864

before gc: list nodes free: 842564

after gc: idd nodes used:17879, unused:15982121; list nodes free:71163713

before gc: list nodes free: 839590

after gc: idd nodes used:18751, unused:15981249; list nodes free:71156911

before gc: list nodes free: 836750

after gc: idd nodes used:19584, unused:15980416; list nodes free:71150414

before gc: list nodes free: 834026

after gc: idd nodes used:20383, unused:15979617; list nodes free:71144181

before gc: list nodes free: 831405

after gc: idd nodes used:21152, unused:15978848; list nodes free:71138182

before gc: list nodes free: 828878

after gc: idd nodes used:21894, unused:15978106; list nodes free:71132396

before gc: list nodes free: 826431

after gc: idd nodes used:22612, unused:15977388; list nodes free:71126794

before gc: list nodes free: 824063

after gc: idd nodes used:23307, unused:15976693; list nodes free:71121373

before gc: list nodes free: 821764

after gc: idd nodes used:23982, unused:15976018; list nodes free:71116108

before gc: list nodes free: 819528

after gc: idd nodes used:24639, unused:15975361; list nodes free:71110985

before gc: list nodes free: 815461

after gc: idd nodes used:51950, unused:15948050; list nodes free:70987176

before gc: list nodes free: 809170

after gc: idd nodes used:53725, unused:15946275; list nodes free:70973631

before gc: list nodes free: 803124

after gc: idd nodes used:55585, unused:15944415; list nodes free:70959449