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-3254
Executing tool marcie
Input is S_AirplaneLD-COL-0200, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r081-csrt-149441063900010
=====================================================================

--------------------
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 1494883710292

timeout --kill-after=10s --signal=SIGINT 1m for testing only

Marcie rev. 8852M (built: crohr on 2017-05-03)
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 --memory=6

parse successfull
net created successfully

Unfolding complete |P|=1419|T|=1608|A|=6128
Time for unfolding: 0m 1.116sec

Net: AirplaneLD_COL_0200
(NrP: 1419 NrTr: 1608 NrArc: 6128)

place and transition orderings generation:0m 0.046sec

net check time: 0m 0.000sec

init dd package: 0m 1.195sec


RS generation: 0m 4.030sec


-> reachability set: #nodes 11833 (1.2e+04) #states 275,494,823 (8)



STATE_SPACE STATES 275494823 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

STATE_SPACE MAX_TOKEN_PER_MARKING 608 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

after gc: zbdd nodes used:14431, unused:18735569
STATE_SPACE TRANSITIONS 1227994824 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT
totally nodes used: 13000067(1.3e+07)
number of garbage collections: 1
fire ops cache: hits/miss/sum: 21144694 37495995 58640689
used/not used/entry size/cache size: 7957210 59151654 16 1024MB
basic ops cache: hits/miss/sum: 5526135 14219135 19745270
used/not used/entry size/cache size: 4018665 12758551 12 192MB
unary ops cache: hits/miss/sum: 0 184528 184528
used/not used/entry size/cache size: 0 8388608 8 64MB
abstract ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 8388608 12 96MB
state nr cache: hits/miss/sum: 319365 1188653 1508018
used/not used/entry size/cache size: 279067 1818085 32 64MB
max state cache: hits/miss/sum: 9859 11833 21692
used/not used/entry size/cache size: 0 8388608 32 256MB
uniqueHash elements/entry size/size: 67108864 4 256MB
0 63559498
1 3460548
2 87516
3 1290
4 12
5 0
6 0
7 0
8 0
9 0
>= 10 0

Total processing time: 0m11.259sec


BK_STOP 1494883721584

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

check for maximal unmarked siphon
ok
check for constant places
AltitudePossibleVal_Altitude1
AltitudePossibleVal_Altitude2
AltitudePossibleVal_Altitude3
AltitudePossibleVal_Altitude4
AltitudePossibleVal_Altitude5
AltitudePossibleVal_Altitude6
AltitudePossibleVal_Altitude7
AltitudePossibleVal_Altitude8
AltitudePossibleVal_Altitude9
AltitudePossibleVal_Altitude10
AltitudePossibleVal_Altitude11
AltitudePossibleVal_Altitude12
AltitudePossibleVal_Altitude13
AltitudePossibleVal_Altitude14
AltitudePossibleVal_Altitude15
AltitudePossibleVal_Altitude16
AltitudePossibleVal_Altitude17
AltitudePossibleVal_Altitude18
AltitudePossibleVal_Altitude19
AltitudePossibleVal_Altitude20
AltitudePossibleVal_Altitude21
AltitudePossibleVal_Altitude22
AltitudePossibleVal_Altitude23
AltitudePossibleVal_Altitude24
AltitudePossibleVal_Altitude25
AltitudePossibleVal_Altitude26
AltitudePossibleVal_Altitude27
AltitudePossibleVal_Altitude28
AltitudePossibleVal_Altitude29
AltitudePossibleVal_Altitude30
AltitudePossibleVal_Altitude31
AltitudePossibleVal_Altitude32
AltitudePossibleVal_Altitude33
AltitudePossibleVal_Altitude34
AltitudePossibleVal_Altitude35
AltitudePossibleVal_Altitude36
AltitudePossibleVal_Altitude37
AltitudePossibleVal_Altitude38
AltitudePossibleVal_Altitude39
AltitudePossibleVal_Altitude40
AltitudePossibleVal_Altitude41
AltitudePossibleVal_Altitude42
AltitudePossibleVal_Altitude43
AltitudePossibleVal_Altitude44
AltitudePossibleVal_Altitude45
AltitudePossibleVal_Altitude46
AltitudePossibleVal_Altitude47
AltitudePossibleVal_Altitude48
AltitudePossibleVal_Altitude49
AltitudePossibleVal_Altitude50
AltitudePossibleVal_Altitude51
AltitudePossibleVal_Altitude52
AltitudePossibleVal_Altitude53
AltitudePossibleVal_Altitude54
AltitudePossibleVal_Altitude55
AltitudePossibleVal_Altitude56
AltitudePossibleVal_Altitude57
AltitudePossibleVal_Altitude58
AltitudePossibleVal_Altitude59
AltitudePossibleVal_Altitude60
AltitudePossibleVal_Altitude61
AltitudePossibleVal_Altitude62
AltitudePossibleVal_Altitude63
AltitudePossibleVal_Altitude64
AltitudePossibleVal_Altitude65
AltitudePossibleVal_Altitude66
AltitudePossibleVal_Altitude67
AltitudePossibleVal_Altitude68
AltitudePossibleVal_Altitude69
AltitudePossibleVal_Altitude70
AltitudePossibleVal_Altitude71
AltitudePossibleVal_Altitude72
AltitudePossibleVal_Altitude73
AltitudePossibleVal_Altitude74
AltitudePossibleVal_Altitude75
AltitudePossibleVal_Altitude76
AltitudePossibleVal_Altitude77
AltitudePossibleVal_Altitude78
AltitudePossibleVal_Altitude79
AltitudePossibleVal_Altitude80
AltitudePossibleVal_Altitude81
AltitudePossibleVal_Altitude82
AltitudePossibleVal_Altitude83
AltitudePossibleVal_Altitude84
AltitudePossibleVal_Altitude85
AltitudePossibleVal_Altitude86
AltitudePossibleVal_Altitude87
AltitudePossibleVal_Altitude88
AltitudePossibleVal_Altitude89
AltitudePossibleVal_Altitude90
AltitudePossibleVal_Altitude91
AltitudePossibleVal_Altitude92
AltitudePossibleVal_Altitude93
AltitudePossibleVal_Altitude94
AltitudePossibleVal_Altitude95
AltitudePossibleVal_Altitude96
AltitudePossibleVal_Altitude97
AltitudePossibleVal_Altitude98
AltitudePossibleVal_Altitude99
AltitudePossibleVal_Altitude100
AltitudePossibleVal_Altitude101
AltitudePossibleVal_Altitude102
AltitudePossibleVal_Altitude103
AltitudePossibleVal_Altitude104
AltitudePossibleVal_Altitude105
AltitudePossibleVal_Altitude106
AltitudePossibleVal_Altitude107
AltitudePossibleVal_Altitude108
AltitudePossibleVal_Altitude109
AltitudePossibleVal_Altitude110
AltitudePossibleVal_Altitude111
AltitudePossibleVal_Altitude112
AltitudePossibleVal_Altitude113
AltitudePossibleVal_Altitude114
AltitudePossibleVal_Altitude115
AltitudePossibleVal_Altitude116
AltitudePossibleVal_Altitude117
AltitudePossibleVal_Altitude118
AltitudePossibleVal_Altitude119
AltitudePossibleVal_Altitude120
AltitudePossibleVal_Altitude121
AltitudePossibleVal_Altitude122
AltitudePossibleVal_Altitude123
AltitudePossibleVal_Altitude124
AltitudePossibleVal_Altitude125
AltitudePossibleVal_Altitude126
AltitudePossibleVal_Altitude127
AltitudePossibleVal_Altitude128
AltitudePossibleVal_Altitude129
AltitudePossibleVal_Altitude130
AltitudePossibleVal_Altitude131
AltitudePossibleVal_Altitude132
AltitudePossibleVal_Altitude133
AltitudePossibleVal_Altitude134
AltitudePossibleVal_Altitude135
AltitudePossibleVal_Altitude136
AltitudePossibleVal_Altitude137
AltitudePossibleVal_Altitude138
AltitudePossibleVal_Altitude139
AltitudePossibleVal_Altitude140
AltitudePossibleVal_Altitude141
AltitudePossibleVal_Altitude142
AltitudePossibleVal_Altitude143
AltitudePossibleVal_Altitude144
AltitudePossibleVal_Altitude145
AltitudePossibleVal_Altitude146
AltitudePossibleVal_Altitude147
AltitudePossibleVal_Altitude148
AltitudePossibleVal_Altitude149
AltitudePossibleVal_Altitude150
AltitudePossibleVal_Altitude151
AltitudePossibleVal_Altitude152
AltitudePossibleVal_Altitude153
AltitudePossibleVal_Altitude154
AltitudePossibleVal_Altitude155
AltitudePossibleVal_Altitude156
AltitudePossibleVal_Altitude157
AltitudePossibleVal_Altitude158
AltitudePossibleVal_Altitude159
AltitudePossibleVal_Altitude160
AltitudePossibleVal_Altitude161
AltitudePossibleVal_Altitude162
AltitudePossibleVal_Altitude163
AltitudePossibleVal_Altitude164
AltitudePossibleVal_Altitude165
AltitudePossibleVal_Altitude166
AltitudePossibleVal_Altitude167
AltitudePossibleVal_Altitude168
AltitudePossibleVal_Altitude169
AltitudePossibleVal_Altitude170
AltitudePossibleVal_Altitude171
AltitudePossibleVal_Altitude172
AltitudePossibleVal_Altitude173
AltitudePossibleVal_Altitude174
AltitudePossibleVal_Altitude175
AltitudePossibleVal_Altitude176
AltitudePossibleVal_Altitude177
AltitudePossibleVal_Altitude178
AltitudePossibleVal_Altitude179
AltitudePossibleVal_Altitude180
AltitudePossibleVal_Altitude181
AltitudePossibleVal_Altitude182
AltitudePossibleVal_Altitude183
AltitudePossibleVal_Altitude184
AltitudePossibleVal_Altitude185
AltitudePossibleVal_Altitude186
AltitudePossibleVal_Altitude187
AltitudePossibleVal_Altitude188
AltitudePossibleVal_Altitude189
AltitudePossibleVal_Altitude190
AltitudePossibleVal_Altitude191
AltitudePossibleVal_Altitude192
AltitudePossibleVal_Altitude193
AltitudePossibleVal_Altitude194
AltitudePossibleVal_Altitude195
AltitudePossibleVal_Altitude196
AltitudePossibleVal_Altitude197
AltitudePossibleVal_Altitude198
AltitudePossibleVal_Altitude199
AltitudePossibleVal_Altitude200
AltitudePossibleVal_Altitude201
AltitudePossibleVal_Altitude202
AltitudePossibleVal_Altitude203
AltitudePossibleVal_Altitude204
AltitudePossibleVal_Altitude205
AltitudePossibleVal_Altitude206
AltitudePossibleVal_Altitude207
AltitudePossibleVal_Altitude208
AltitudePossibleVal_Altitude209
AltitudePossibleVal_Altitude210
AltitudePossibleVal_Altitude211
AltitudePossibleVal_Altitude212
AltitudePossibleVal_Altitude213
AltitudePossibleVal_Altitude214
AltitudePossibleVal_Altitude215
AltitudePossibleVal_Altitude216
AltitudePossibleVal_Altitude217
AltitudePossibleVal_Altitude218
AltitudePossibleVal_Altitude219
AltitudePossibleVal_Altitude220
AltitudePossibleVal_Altitude221
AltitudePossibleVal_Altitude222
AltitudePossibleVal_Altitude223
AltitudePossibleVal_Altitude224
AltitudePossibleVal_Altitude225
AltitudePossibleVal_Altitude226
AltitudePossibleVal_Altitude227
AltitudePossibleVal_Altitude228
AltitudePossibleVal_Altitude229
AltitudePossibleVal_Altitude230
AltitudePossibleVal_Altitude231
AltitudePossibleVal_Altitude232
AltitudePossibleVal_Altitude233
AltitudePossibleVal_Altitude234
AltitudePossibleVal_Altitude235
AltitudePossibleVal_Altitude236
AltitudePossibleVal_Altitude237
AltitudePossibleVal_Altitude238
AltitudePossibleVal_Altitude239
AltitudePossibleVal_Altitude240
AltitudePossibleVal_Altitude241
AltitudePossibleVal_Altitude242
AltitudePossibleVal_Altitude243
AltitudePossibleVal_Altitude244
AltitudePossibleVal_Altitude245
AltitudePossibleVal_Altitude246
AltitudePossibleVal_Altitude247
AltitudePossibleVal_Altitude248
AltitudePossibleVal_Altitude249
AltitudePossibleVal_Altitude250
AltitudePossibleVal_Altitude251
AltitudePossibleVal_Altitude252
AltitudePossibleVal_Altitude253
AltitudePossibleVal_Altitude254
AltitudePossibleVal_Altitude255
AltitudePossibleVal_Altitude256
AltitudePossibleVal_Altitude257
AltitudePossibleVal_Altitude258
AltitudePossibleVal_Altitude259
AltitudePossibleVal_Altitude260
AltitudePossibleVal_Altitude261
AltitudePossibleVal_Altitude262
AltitudePossibleVal_Altitude263
AltitudePossibleVal_Altitude264
AltitudePossibleVal_Altitude265
AltitudePossibleVal_Altitude266
AltitudePossibleVal_Altitude267
AltitudePossibleVal_Altitude268
AltitudePossibleVal_Altitude269
AltitudePossibleVal_Altitude270
AltitudePossibleVal_Altitude271
AltitudePossibleVal_Altitude272
AltitudePossibleVal_Altitude273
AltitudePossibleVal_Altitude274
AltitudePossibleVal_Altitude275
AltitudePossibleVal_Altitude276
AltitudePossibleVal_Altitude277
AltitudePossibleVal_Altitude278
AltitudePossibleVal_Altitude279
AltitudePossibleVal_Altitude280
AltitudePossibleVal_Altitude281
AltitudePossibleVal_Altitude282
AltitudePossibleVal_Altitude283
AltitudePossibleVal_Altitude284
AltitudePossibleVal_Altitude285
AltitudePossibleVal_Altitude286
AltitudePossibleVal_Altitude287
AltitudePossibleVal_Altitude288
AltitudePossibleVal_Altitude289
AltitudePossibleVal_Altitude290
AltitudePossibleVal_Altitude291
AltitudePossibleVal_Altitude292
AltitudePossibleVal_Altitude293
AltitudePossibleVal_Altitude294
AltitudePossibleVal_Altitude295
AltitudePossibleVal_Altitude296
AltitudePossibleVal_Altitude297
AltitudePossibleVal_Altitude298
AltitudePossibleVal_Altitude299
AltitudePossibleVal_Altitude300
AltitudePossibleVal_Altitude301
AltitudePossibleVal_Altitude302
AltitudePossibleVal_Altitude303
AltitudePossibleVal_Altitude304
AltitudePossibleVal_Altitude305
AltitudePossibleVal_Altitude306
AltitudePossibleVal_Altitude307
AltitudePossibleVal_Altitude308
AltitudePossibleVal_Altitude309
AltitudePossibleVal_Altitude310
AltitudePossibleVal_Altitude311
AltitudePossibleVal_Altitude312
AltitudePossibleVal_Altitude313
AltitudePossibleVal_Altitude314
AltitudePossibleVal_Altitude315
AltitudePossibleVal_Altitude316
AltitudePossibleVal_Altitude317
AltitudePossibleVal_Altitude318
AltitudePossibleVal_Altitude319
AltitudePossibleVal_Altitude320
AltitudePossibleVal_Altitude321
AltitudePossibleVal_Altitude322
AltitudePossibleVal_Altitude323
AltitudePossibleVal_Altitude324
AltitudePossibleVal_Altitude325
AltitudePossibleVal_Altitude326
AltitudePossibleVal_Altitude327
AltitudePossibleVal_Altitude328
AltitudePossibleVal_Altitude329
AltitudePossibleVal_Altitude330
AltitudePossibleVal_Altitude331
AltitudePossibleVal_Altitude332
AltitudePossibleVal_Altitude333
AltitudePossibleVal_Altitude334
AltitudePossibleVal_Altitude335
AltitudePossibleVal_Altitude336
AltitudePossibleVal_Altitude337
AltitudePossibleVal_Altitude338
AltitudePossibleVal_Altitude339
AltitudePossibleVal_Altitude340
AltitudePossibleVal_Altitude341
AltitudePossibleVal_Altitude342
AltitudePossibleVal_Altitude343
AltitudePossibleVal_Altitude344
AltitudePossibleVal_Altitude345
AltitudePossibleVal_Altitude346
AltitudePossibleVal_Altitude347
AltitudePossibleVal_Altitude348
AltitudePossibleVal_Altitude349
AltitudePossibleVal_Altitude350
AltitudePossibleVal_Altitude351
AltitudePossibleVal_Altitude352
AltitudePossibleVal_Altitude353
AltitudePossibleVal_Altitude354
AltitudePossibleVal_Altitude355
AltitudePossibleVal_Altitude356
AltitudePossibleVal_Altitude357
AltitudePossibleVal_Altitude358
AltitudePossibleVal_Altitude359
AltitudePossibleVal_Altitude360
AltitudePossibleVal_Altitude361
AltitudePossibleVal_Altitude362
AltitudePossibleVal_Altitude363
AltitudePossibleVal_Altitude364
AltitudePossibleVal_Altitude365
AltitudePossibleVal_Altitude366
AltitudePossibleVal_Altitude367
AltitudePossibleVal_Altitude368
AltitudePossibleVal_Altitude369
AltitudePossibleVal_Altitude370
AltitudePossibleVal_Altitude371
AltitudePossibleVal_Altitude372
AltitudePossibleVal_Altitude373
AltitudePossibleVal_Altitude374
AltitudePossibleVal_Altitude375
AltitudePossibleVal_Altitude376
AltitudePossibleVal_Altitude377
AltitudePossibleVal_Altitude378
AltitudePossibleVal_Altitude379
AltitudePossibleVal_Altitude380
AltitudePossibleVal_Altitude381
AltitudePossibleVal_Altitude382
AltitudePossibleVal_Altitude383
AltitudePossibleVal_Altitude384
AltitudePossibleVal_Altitude385
AltitudePossibleVal_Altitude386
AltitudePossibleVal_Altitude387
AltitudePossibleVal_Altitude388
AltitudePossibleVal_Altitude389
AltitudePossibleVal_Altitude390
AltitudePossibleVal_Altitude391
AltitudePossibleVal_Altitude392
AltitudePossibleVal_Altitude393
AltitudePossibleVal_Altitude394
AltitudePossibleVal_Altitude395
AltitudePossibleVal_Altitude396
AltitudePossibleVal_Altitude397
AltitudePossibleVal_Altitude398
AltitudePossibleVal_Altitude399
AltitudePossibleVal_Altitude400
SpeedPossibleVal_Speed1
SpeedPossibleVal_Speed2
SpeedPossibleVal_Speed3
SpeedPossibleVal_Speed4
SpeedPossibleVal_Speed5
SpeedPossibleVal_Speed6
SpeedPossibleVal_Speed7
SpeedPossibleVal_Speed8
SpeedPossibleVal_Speed9
SpeedPossibleVal_Speed10
SpeedPossibleVal_Speed11
SpeedPossibleVal_Speed12
SpeedPossibleVal_Speed13
SpeedPossibleVal_Speed14
SpeedPossibleVal_Speed15
SpeedPossibleVal_Speed16
SpeedPossibleVal_Speed17
SpeedPossibleVal_Speed18
SpeedPossibleVal_Speed19
SpeedPossibleVal_Speed20
SpeedPossibleVal_Speed21
SpeedPossibleVal_Speed22
SpeedPossibleVal_Speed23
SpeedPossibleVal_Speed24
SpeedPossibleVal_Speed25
SpeedPossibleVal_Speed26
SpeedPossibleVal_Speed27
SpeedPossibleVal_Speed28
SpeedPossibleVal_Speed29
SpeedPossibleVal_Speed30
SpeedPossibleVal_Speed31
SpeedPossibleVal_Speed32
SpeedPossibleVal_Speed33
SpeedPossibleVal_Speed34
SpeedPossibleVal_Speed35
SpeedPossibleVal_Speed36
SpeedPossibleVal_Speed37
SpeedPossibleVal_Speed38
SpeedPossibleVal_Speed39
SpeedPossibleVal_Speed40
SpeedPossibleVal_Speed41
SpeedPossibleVal_Speed42
SpeedPossibleVal_Speed43
SpeedPossibleVal_Speed44
SpeedPossibleVal_Speed45
SpeedPossibleVal_Speed46
SpeedPossibleVal_Speed47
SpeedPossibleVal_Speed48
SpeedPossibleVal_Speed49
SpeedPossibleVal_Speed50
SpeedPossibleVal_Speed51
SpeedPossibleVal_Speed52
SpeedPossibleVal_Speed53
SpeedPossibleVal_Speed54
SpeedPossibleVal_Speed55
SpeedPossibleVal_Speed56
SpeedPossibleVal_Speed57
SpeedPossibleVal_Speed58
SpeedPossibleVal_Speed59
SpeedPossibleVal_Speed60
SpeedPossibleVal_Speed61
SpeedPossibleVal_Speed62
SpeedPossibleVal_Speed63
SpeedPossibleVal_Speed64
SpeedPossibleVal_Speed65
SpeedPossibleVal_Speed66
SpeedPossibleVal_Speed67
SpeedPossibleVal_Speed68
SpeedPossibleVal_Speed69
SpeedPossibleVal_Speed70
SpeedPossibleVal_Speed71
SpeedPossibleVal_Speed72
SpeedPossibleVal_Speed73
SpeedPossibleVal_Speed74
SpeedPossibleVal_Speed75
SpeedPossibleVal_Speed76
SpeedPossibleVal_Speed77
SpeedPossibleVal_Speed78
SpeedPossibleVal_Speed79
SpeedPossibleVal_Speed80
SpeedPossibleVal_Speed81
SpeedPossibleVal_Speed82
SpeedPossibleVal_Speed83
SpeedPossibleVal_Speed84
SpeedPossibleVal_Speed85
SpeedPossibleVal_Speed86
SpeedPossibleVal_Speed87
SpeedPossibleVal_Speed88
SpeedPossibleVal_Speed89
SpeedPossibleVal_Speed90
SpeedPossibleVal_Speed91
SpeedPossibleVal_Speed92
SpeedPossibleVal_Speed93
SpeedPossibleVal_Speed94
SpeedPossibleVal_Speed95
SpeedPossibleVal_Speed96
SpeedPossibleVal_Speed97
SpeedPossibleVal_Speed98
SpeedPossibleVal_Speed99
SpeedPossibleVal_Speed100
SpeedPossibleVal_Speed101
SpeedPossibleVal_Speed102
SpeedPossibleVal_Speed103
SpeedPossibleVal_Speed104
SpeedPossibleVal_Speed105
SpeedPossibleVal_Speed106
SpeedPossibleVal_Speed107
SpeedPossibleVal_Speed108
SpeedPossibleVal_Speed109
SpeedPossibleVal_Speed110
SpeedPossibleVal_Speed111
SpeedPossibleVal_Speed112
SpeedPossibleVal_Speed113
SpeedPossibleVal_Speed114
SpeedPossibleVal_Speed115
SpeedPossibleVal_Speed116
SpeedPossibleVal_Speed117
SpeedPossibleVal_Speed118
SpeedPossibleVal_Speed119
SpeedPossibleVal_Speed120
SpeedPossibleVal_Speed121
SpeedPossibleVal_Speed122
SpeedPossibleVal_Speed123
SpeedPossibleVal_Speed124
SpeedPossibleVal_Speed125
SpeedPossibleVal_Speed126
SpeedPossibleVal_Speed127
SpeedPossibleVal_Speed128
SpeedPossibleVal_Speed129
SpeedPossibleVal_Speed130
SpeedPossibleVal_Speed131
SpeedPossibleVal_Speed132
SpeedPossibleVal_Speed133
SpeedPossibleVal_Speed134
SpeedPossibleVal_Speed135
SpeedPossibleVal_Speed136
SpeedPossibleVal_Speed137
SpeedPossibleVal_Speed138
SpeedPossibleVal_Speed139
SpeedPossibleVal_Speed140
SpeedPossibleVal_Speed141
SpeedPossibleVal_Speed142
SpeedPossibleVal_Speed143
SpeedPossibleVal_Speed144
SpeedPossibleVal_Speed145
SpeedPossibleVal_Speed146
SpeedPossibleVal_Speed147
SpeedPossibleVal_Speed148
SpeedPossibleVal_Speed149
SpeedPossibleVal_Speed150
SpeedPossibleVal_Speed151
SpeedPossibleVal_Speed152
SpeedPossibleVal_Speed153
SpeedPossibleVal_Speed154
SpeedPossibleVal_Speed155
SpeedPossibleVal_Speed156
SpeedPossibleVal_Speed157
SpeedPossibleVal_Speed158
SpeedPossibleVal_Speed159
SpeedPossibleVal_Speed160
SpeedPossibleVal_Speed161
SpeedPossibleVal_Speed162
SpeedPossibleVal_Speed163
SpeedPossibleVal_Speed164
SpeedPossibleVal_Speed165
SpeedPossibleVal_Speed166
SpeedPossibleVal_Speed167
SpeedPossibleVal_Speed168
SpeedPossibleVal_Speed169
SpeedPossibleVal_Speed170
SpeedPossibleVal_Speed171
SpeedPossibleVal_Speed172
SpeedPossibleVal_Speed173
SpeedPossibleVal_Speed174
SpeedPossibleVal_Speed175
SpeedPossibleVal_Speed176
SpeedPossibleVal_Speed177
SpeedPossibleVal_Speed178
SpeedPossibleVal_Speed179
SpeedPossibleVal_Speed180
SpeedPossibleVal_Speed181
SpeedPossibleVal_Speed182
SpeedPossibleVal_Speed183
SpeedPossibleVal_Speed184
SpeedPossibleVal_Speed185
SpeedPossibleVal_Speed186
SpeedPossibleVal_Speed187
SpeedPossibleVal_Speed188
SpeedPossibleVal_Speed189
SpeedPossibleVal_Speed190
SpeedPossibleVal_Speed191
SpeedPossibleVal_Speed192
SpeedPossibleVal_Speed193
SpeedPossibleVal_Speed194
SpeedPossibleVal_Speed195
SpeedPossibleVal_Speed196
SpeedPossibleVal_Speed197
SpeedPossibleVal_Speed198
SpeedPossibleVal_Speed199
SpeedPossibleVal_Speed200
WeightPossibleVal_Weight0
WeightPossibleVal_Weight1
found 602 constant places
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

.....

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="S_AirplaneLD-COL-0200"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="marcie"
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

tar xzf /home/mcc/BenchKit/INPUTS/S_AirplaneLD-COL-0200.tgz
mv S_AirplaneLD-COL-0200 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool marcie"
echo " Input is S_AirplaneLD-COL-0200, 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 r081-csrt-149441063900010"
echo "====================================================================="
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
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 ;