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)
...................
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 4.6K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 26 09:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.5K May 26 09:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 26 09:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 26 09:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_pt
-rw-r--r-- 1 mcc users 3 May 15 18:50 instance
-rw-r--r-- 1 mcc users 5 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 29K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool tapaal
Input is GlobalResAllocation-COL-11, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r096-blw7-152650008300401
=====================================================================

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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-00
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-01
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-02
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-03
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-04
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-05
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-06
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-07
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-08
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-09
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-10
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-11
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-12
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-13
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-14
FORMULA_NAME GlobalResAllocation-COL-11-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527853787590

tapaal
---> tapaal --- TAPAAL
Total timeout: 3590
Time left: 3590

*****************************************
* TAPAAL CLASSIC verifying UpperBounds *
*****************************************
/home/mcc/tmp
/home/mcc/tmp/tmp.hOMe1sfDQH
/home/mcc/tmp/tmp.xDl6DrhP9d
Time left: 3590
---------------------------------------------------
Step -1: Stripping Colors
---------------------------------------------------
Verifying stripped models (16 in total)

Time left: 3590
---------------------------------------------------
Step 0: Parallel Simplification
---------------------------------------------------
Doing parallel simplification (16 in total)
Total simplification timout is 718 -- reduction timeout is 299
/home/mcc/BenchKit/bin/verifypn -n -q 718 -l 29 -d 299 -z 4 -s OverApprox --write-simplified /home/mcc/tmp/tmp.hOMe1sfDQH --write-reduced /home/mcc/tmp/tmp.xDl6DrhP9d -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./UpperBounds.xml
note: lpsolve timeout
note: lpsolve timeout
note: lpsolve timeout
note: lpsolve timeout
note: lpsolve timeout
note: lpsolve timeout
note: lpsolve timeout
note: lpsolve timeout

note: lpsolve timeout



note: lpsolve timeout
note: lpsolve timeout
note: lpsolve timeout

note: lpsolve timeout
note: lpsolve timeout
Time left: 2285

---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (16 in total)
Each query is verified by 2 parallel strategies for 138 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@14.12,8222956@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@21.36,12274876@@@


Time left: 2263
------------------- QUERY 2 ----------------------
No solution found
Command terminated by signal 9
@@@16.88,8412440@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@25.13,12274860@@@


Time left: 2237
------------------- QUERY 3 ----------------------
No solution found
Command terminated by signal 9
@@@18.97,8204964@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@25.98,12274780@@@


Time left: 2211
------------------- QUERY 4 ----------------------
No solution found
Command terminated by signal 9
@@@17.05,8100832@@@
Command terminated by signal 9
@@@17.10,8075984@@@


Time left: 2194
------------------- QUERY 5 ----------------------
No solution found
Command terminated by signal 9
@@@17.56,8511256@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@24.75,12286080@@@


Time left: 2169
------------------- QUERY 6 ----------------------
No solution found
Command terminated by signal 9
@@@18.43,8293676@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@25.44,12266300@@@


Time left: 2143
------------------- QUERY 7 ----------------------
No solution found
Command terminated by signal 9
@@@16.09,8335228@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@23.31,12274828@@@


Time left: 2119
------------------- QUERY 8 ----------------------
No solution found
Command terminated by signal 9
@@@15.57,8095464@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@22.87,12285968@@@


Time left: 2096
------------------- QUERY 9 ----------------------
No solution found
Command terminated by signal 9
@@@17.14,8125824@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@24.08,12286204@@@


Time left: 2072
------------------- QUERY 10 ----------------------
No solution found
Command terminated by signal 9
@@@17.11,8445304@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@24.30,12286084@@@


Time left: 2047
------------------- QUERY 11 ----------------------
No solution found
Command terminated by signal 9
@@@16.40,8127804@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@23.34,12286124@@@


Time left: 2024
------------------- QUERY 12 ----------------------
No solution found
Command terminated by signal 9
@@@19.76,8279272@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@26.71,12274776@@@


Time left: 1997
------------------- QUERY 13 ----------------------
No solution found
Command terminated by signal 9
@@@17.17,8118332@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@24.03,12286060@@@


Time left: 1972
------------------- QUERY 14 ----------------------
No solution found
Command terminated by signal 9
@@@16.23,8185892@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@23.01,12286052@@@


Time left: 1949
------------------- QUERY 15 ----------------------
No solution found
Command terminated by signal 9
@@@17.85,8142252@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@24.63,12274788@@@


Time left: 1924
------------------- QUERY 16 ----------------------
No solution found
Command terminated by signal 9
@@@17.29,8235384@@@
Command terminated by signal 9
@@@17.35,7942912@@@


Time left: 1906
---------------------------------------------------
Step 2: Sequential processing
---------------------------------------------------
Remaining 16 queries are verified sequentially.
Each query is verified for a dynamic timeout (at least 0 seconds)
Time left: 1906
Time left: 1906
---------------------------------------------------
Step 3: Multiquery processing
---------------------------------------------------
Remaining 16 queries are solved using multiquery
Time remaining: 1906 seconds of the initial 3590 seconds
Running multiquery on -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 for 1429 seconds

Time left: 1884
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (16 in total)
Each query is verified by 4 parallel strategies for 117 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@12.94,5067072@@@
Command terminated by signal 9
@@@14.38,6061936@@@
Command terminated by signal 9
@@@16.94,8255212@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@24.23,12286096@@@


Time left: 1859
------------------- QUERY 2 ----------------------
No solution found
Command terminated by signal 9
@@@19.74,4197648@@@
Command terminated by signal 9
@@@20.89,5577280@@@
Command terminated by signal 9
@@@23.48,8606052@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@31.04,12274788@@@


Time left: 1828
------------------- QUERY 3 ----------------------
No solution found
Command terminated by signal 9
@@@19.73,4812508@@@
Command terminated by signal 9
@@@20.82,5733320@@@
Command terminated by signal 9
@@@22.90,8351548@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@30.93,12274760@@@


Time left: 1797
------------------- QUERY 4 ----------------------
No solution found
Command terminated by signal 9
@@@20.17,4422576@@@
Command terminated by signal 9
@@@21.32,5521408@@@
Command terminated by signal 9
@@@23.93,8182852@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@31.40,12286088@@@


Time left: 1765
------------------- QUERY 5 ----------------------
No solution found
Command terminated by signal 9
@@@18.55,4395756@@@
Command terminated by signal 9
@@@19.75,5782788@@@
Command terminated by signal 9
@@@21.75,8094832@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.99,12269056@@@


Time left: 1735
------------------- QUERY 6 ----------------------
No solution found
Command terminated by signal 9
@@@20.72,4582464@@@
Command terminated by signal 9
@@@22.18,5436372@@@
Command terminated by signal 9
@@@24.04,8143388@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@31.43,12286056@@@


Time left: 1703
------------------- QUERY 7 ----------------------
No solution found
Command terminated by signal 9
@@@20.09,4514628@@@
Command terminated by signal 9
@@@21.42,5836972@@@
Command terminated by signal 9
@@@23.81,8235080@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@30.88,12274740@@@


Time left: 1672
------------------- QUERY 8 ----------------------
No solution found
Command terminated by signal 9
@@@20.57,4217776@@@
Command terminated by signal 9
@@@21.80,5553292@@@
Command terminated by signal 9
@@@24.00,8342444@@@
Command terminated by signal 9
@@@24.04,7835192@@@


Time left: 1647
------------------- QUERY 9 ----------------------
No solution found
Command terminated by signal 9
@@@16.99,4733432@@@
Command terminated by signal 9
@@@18.39,5801544@@@
Command terminated by signal 9
@@@20.36,8339720@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@27.78,12286164@@@


Time left: 1619
------------------- QUERY 10 ----------------------
No solution found
Command terminated by signal 9
@@@15.01,4417404@@@
Command terminated by signal 9
@@@16.55,5824112@@@
Command terminated by signal 9
@@@19.17,8177536@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@26.31,12286040@@@


Time left: 1593
------------------- QUERY 11 ----------------------
No solution found
Command terminated by signal 9
@@@17.03,4197628@@@
Command terminated by signal 9
@@@17.97,5421792@@@
Command terminated by signal 9
@@@20.25,8118352@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@27.38,12286120@@@


Time left: 1565
------------------- QUERY 12 ----------------------
No solution found
Command terminated by signal 9
@@@18.09,4197628@@@
Command terminated by signal 9
@@@19.45,5621736@@@
Command terminated by signal 9
@@@21.46,8337760@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.62,12266404@@@


Time left: 1535
------------------- QUERY 13 ----------------------
No solution found
Command terminated by signal 9
@@@16.45,4167384@@@
Command terminated by signal 9
@@@19.49,5486272@@@
Command terminated by signal 9
@@@21.91,8272012@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.01,12286064@@@


Time left: 1506
------------------- QUERY 14 ----------------------
No solution found
Command terminated by signal 9
@@@19.35,4367804@@@
Command terminated by signal 9
@@@20.75,5847260@@@
Command terminated by signal 9
@@@22.96,8291824@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@30.37,12286172@@@


Time left: 1475
------------------- QUERY 15 ----------------------
No solution found
Command terminated by signal 9
@@@22.73,4756848@@@
Command terminated by signal 9
@@@23.99,5919784@@@
Command terminated by signal 9
@@@26.55,8241424@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@33.69,12286188@@@


Time left: 1441
------------------- QUERY 16 ----------------------
No solution found
Command terminated by signal 9
@@@21.24,4197652@@@
Command terminated by signal 9
@@@22.77,5450764@@@
Command terminated by signal 9
@@@25.00,8147556@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@32.45,12286084@@@


Time left: 1408
Time left: 1408
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (16 in total)
Each query is verified by 4 parallel strategies for 88 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@14.51,4108856@@@
Command terminated by signal 9
@@@17.53,5532528@@@
Command terminated by signal 9
@@@19.60,8275192@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@27.39,12286020@@@


Time left: 1381
------------------- QUERY 2 ----------------------
No solution found
Command terminated by signal 9
@@@18.64,4859628@@@
Command terminated by signal 9
@@@20.26,5601604@@@
Command terminated by signal 9
@@@20.30,5327580@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.73,12286068@@@


Time left: 1351
------------------- QUERY 3 ----------------------
No solution found
Command terminated by signal 9
@@@20.11,4383672@@@
Command terminated by signal 9
@@@21.33,5712784@@@
Command terminated by signal 9
@@@23.75,8373976@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@31.51,12286028@@@


Time left: 1319
------------------- QUERY 4 ----------------------
No solution found
Command terminated by signal 9
@@@19.32,4504508@@@
Command terminated by signal 9
@@@20.81,5760608@@@
Command terminated by signal 9
@@@23.10,8885076@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@31.62,12286204@@@


Time left: 1287
------------------- QUERY 5 ----------------------
No solution found
Command terminated by signal 9
@@@19.09,4297188@@@
Command terminated by signal 9
@@@20.55,5672772@@@
Command terminated by signal 9
@@@22.95,8168388@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@30.56,12269180@@@


Time left: 1256
------------------- QUERY 6 ----------------------
No solution found
Command terminated by signal 9
@@@20.82,4608628@@@
Command terminated by signal 9
@@@22.38,5952516@@@
Command terminated by signal 9
@@@24.63,8412836@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@32.87,12286144@@@


Time left: 1222
------------------- QUERY 7 ----------------------
No solution found
Command terminated by signal 9
@@@18.02,4534388@@@
Command terminated by signal 9
@@@19.67,5881440@@@
Command terminated by signal 9
@@@22.05,8201212@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.66,12269156@@@


Time left: 1192
------------------- QUERY 8 ----------------------
No solution found
Command terminated by signal 9
@@@19.95,4291272@@@
Command terminated by signal 9
@@@21.62,5585428@@@
Command terminated by signal 9
@@@23.50,8090552@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@32.03,12286172@@@


Time left: 1160
------------------- QUERY 9 ----------------------
No solution found
Command terminated by signal 9
@@@17.80,4349600@@@
Command terminated by signal 9
@@@18.95,5982892@@@
Command terminated by signal 9
@@@21.21,8166624@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@28.76,12274800@@@


Time left: 1131
------------------- QUERY 10 ----------------------
No solution found
Command terminated by signal 9
@@@22.23,4298232@@@
Command terminated by signal 9
@@@23.54,5608292@@@
Command terminated by signal 9
@@@26.23,8123136@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@33.55,12286148@@@


Time left: 1097
------------------- QUERY 11 ----------------------
No solution found
Command terminated by signal 9
@@@15.94,4175028@@@
Command terminated by signal 9
@@@19.66,5929152@@@
Command terminated by signal 9
@@@22.28,8327652@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.36,12274784@@@


Time left: 1067
------------------- QUERY 12 ----------------------
No solution found
Command terminated by signal 9
@@@17.26,4172300@@@
Command terminated by signal 9
@@@20.59,5869816@@@
Command terminated by signal 9
@@@22.26,8233536@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.54,12286088@@@


Time left: 1037
------------------- QUERY 13 ----------------------
No solution found
Command terminated by signal 9
@@@18.84,4624436@@@
Command terminated by signal 9
@@@20.20,5607748@@@
Command terminated by signal 9
@@@21.90,8243120@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.42,12286124@@@


Time left: 1008
------------------- QUERY 14 ----------------------
No solution found
Command terminated by signal 9
@@@18.11,4866448@@@
Command terminated by signal 9
@@@20.23,5526032@@@
Command terminated by signal 9
@@@22.65,8375772@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@30.24,12286008@@@


Time left: 977
------------------- QUERY 15 ----------------------
No solution found
Command terminated by signal 9
@@@15.77,4620052@@@
Command terminated by signal 9
@@@16.99,5637504@@@
Command terminated by signal 9
@@@18.77,8211812@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@26.50,12286120@@@


Time left: 950
------------------- QUERY 16 ----------------------
No solution found
Command terminated by signal 9
@@@19.89,4479864@@@
Command terminated by signal 9
@@@20.98,5516892@@@
Command terminated by signal 9
@@@23.09,8113844@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@30.64,12286112@@@


Time left: 919
Time left: 919
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (16 in total)
Each query is verified by 4 parallel strategies for 57 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@16.62,4148460@@@
Command terminated by signal 9
@@@19.84,5542448@@@
Command terminated by signal 9
@@@19.82,5455460@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.04,12286096@@@


Time left: 890
------------------- QUERY 2 ----------------------
No solution found
Command terminated by signal 9
@@@19.88,4207164@@@
Command terminated by signal 9
@@@21.46,5541180@@@
Command terminated by signal 9
@@@23.92,8341144@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@32.42,12286060@@@


Time left: 857
------------------- QUERY 3 ----------------------
No solution found
Command terminated by signal 9
@@@20.60,4094284@@@
Command terminated by signal 9
@@@23.40,5598988@@@
Command terminated by signal 9
@@@25.97,8301928@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@34.07,12286136@@@


Time left: 823
------------------- QUERY 4 ----------------------
No solution found
Command terminated by signal 9
@@@20.03,4131180@@@
Command terminated by signal 9
@@@23.83,6248508@@@
Command terminated by signal 9
@@@25.80,7867960@@@
Command terminated by signal 9
@@@26.26,8308552@@@


Time left: 796
------------------- QUERY 5 ----------------------
No solution found
Command terminated by signal 9
@@@13.86,4155920@@@
Command terminated by signal 9
@@@17.20,5758564@@@
Command terminated by signal 9
@@@20.06,8255284@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@28.02,12274768@@@


Time left: 768
------------------- QUERY 6 ----------------------
No solution found
Command terminated by signal 9
@@@17.49,4197604@@@
Command terminated by signal 9
@@@19.17,5703012@@@
Command terminated by signal 9
@@@21.12,8665436@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.19,12286008@@@


Time left: 738
------------------- QUERY 7 ----------------------
No solution found
Command terminated by signal 9
@@@20.91,4447092@@@
Command terminated by signal 9
@@@22.58,5842156@@@
Command terminated by signal 9
@@@25.03,8410132@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@32.32,12286204@@@


Time left: 705
------------------- QUERY 8 ----------------------
No solution found
Command terminated by signal 9
@@@19.86,4328940@@@
Command terminated by signal 9
@@@21.46,5842912@@@
Command terminated by signal 9
@@@23.94,8321748@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@31.31,12285936@@@


Time left: 674
------------------- QUERY 9 ----------------------
No solution found
Command terminated by signal 9
@@@18.36,4217764@@@
Command terminated by signal 9
@@@19.78,5628008@@@
Command terminated by signal 9
@@@21.94,8339268@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.24,12286040@@@


Time left: 644
------------------- QUERY 10 ----------------------
No solution found
Command terminated by signal 9
@@@18.55,4442540@@@
Command terminated by signal 9
@@@20.05,5674228@@@
Command terminated by signal 9
@@@21.84,8193748@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@29.68,12286140@@@


Time left: 614
------------------- QUERY 11 ----------------------
No solution found
Command terminated by signal 9
@@@20.17,4375304@@@
Command terminated by signal 9
@@@21.80,5814384@@@
Command terminated by signal 9
@@@24.06,8266368@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@31.44,12274740@@@


Time left: 582
------------------- QUERY 12 ----------------------
No solution found
Command terminated by signal 9
@@@21.13,4724616@@@
Command terminated by signal 9
@@@22.37,5707560@@@
Command terminated by signal 9
@@@24.71,8347560@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@32.98,12286104@@@


Time left: 549
------------------- QUERY 13 ----------------------
No solution found
Command terminated by signal 9
@@@19.27,4417772@@@
Command terminated by signal 9
@@@20.60,6039708@@@
Command terminated by signal 9
@@@23.16,8243612@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@30.40,12286088@@@


Time left: 518
------------------- QUERY 14 ----------------------
No solution found
Command terminated by signal 9
@@@20.29,4793312@@@
Command terminated by signal 9
@@@21.61,5469672@@@
Command terminated by signal 9
@@@24.35,8108488@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@31.37,12286160@@@


Time left: 486
------------------- QUERY 15 ----------------------
No solution found
Command terminated by signal 9
@@@22.91,4493288@@@
Command terminated by signal 9
@@@24.43,5683200@@@
Command terminated by signal 9
@@@26.25,8339904@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@33.40,12286072@@@


Time left: 453
------------------- QUERY 16 ----------------------
No solution found
Command terminated by signal 9
@@@16.56,4194616@@@
Command terminated by signal 9
@@@20.19,5979372@@@
Command terminated by signal 9
@@@22.17,8493320@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@30.57,12274808@@@


Time left: 422
Time left: 422
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (16 in total)
Each query is verified by 4 parallel strategies for 26 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@17.23,4522116@@@
Command terminated by signal 9
@@@19.20,5866528@@@
Command terminated by signal 9
@@@21.41,7938416@@@
Command terminated by signal 9
@@@21.46,8237896@@@


Time left: 400
------------------- QUERY 2 ----------------------
No solution found
Command terminated by signal 9
@@@16.77,4361884@@@
Command terminated by signal 9
@@@18.19,5887548@@@
Command terminated by signal 9
@@@20.56,8404128@@@


Time left: 372
------------------- QUERY 3 ----------------------
No solution found
Command terminated by signal 9
@@@18.06,4482932@@@
Command terminated by signal 9
@@@19.33,5920084@@@
Command terminated by signal 9
@@@21.71,8302116@@@


Time left: 343
------------------- QUERY 4 ----------------------
No solution found
Command terminated by signal 9
@@@21.05,4115924@@@
Command terminated by signal 9
@@@24.38,5672232@@@
Command terminated by signal 9
@@@26.73,8541920@@@


Time left: 315
------------------- QUERY 5 ----------------------
No solution found
Command terminated by signal 9
@@@19.73,4197548@@@
Command terminated by signal 9
@@@20.67,5521932@@@
Command terminated by signal 9
@@@23.26,8013516@@@
Command terminated by signal 9
@@@23.36,8160888@@@


Time left: 291
------------------- QUERY 6 ----------------------
No solution found
Command terminated by signal 9
@@@14.45,4358936@@@
Command terminated by signal 9
@@@15.71,5702744@@@
Command terminated by signal 9
@@@17.70,8389020@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@25.39,12286016@@@


Time left: 266
------------------- QUERY 7 ----------------------
No solution found
Command terminated by signal 9
@@@16.89,4272492@@@
Command terminated by signal 9
@@@18.27,5540652@@@
Command terminated by signal 9
@@@20.48,8097320@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc


Time left: 237
------------------- QUERY 8 ----------------------
No solution found
Command terminated by signal 9
@@@18.39,4315336@@@
Command terminated by signal 9
@@@19.58,5611720@@@
Command terminated by signal 9
@@@21.56,8104436@@@


Time left: 207
------------------- QUERY 9 ----------------------
No solution found
Command terminated by signal 9
@@@17.00,4099028@@@
Command terminated by signal 9
@@@17.20,4153960@@@
Command terminated by signal 9
@@@22.00,8092196@@@


Time left: 179
------------------- QUERY 10 ----------------------
No solution found
Command terminated by signal 9
@@@21.35,4462188@@@
Command terminated by signal 9
@@@22.86,5435568@@@
Command terminated by signal 9
@@@25.22,8207744@@@


Time left: 151
------------------- QUERY 11 ----------------------
No solution found
Command terminated by signal 9
@@@15.88,4160048@@@
Command terminated by signal 9
@@@19.85,5875488@@@
Command terminated by signal 9
@@@22.19,8144472@@@


Time left: 122
------------------- QUERY 12 ----------------------
No solution found
Command terminated by signal 9
@@@15.86,4383652@@@
Command terminated by signal 9
@@@17.35,5450496@@@
Command terminated by signal 9
@@@19.12,8135040@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@26.57,12286080@@@


Time left: 95
------------------- QUERY 13 ----------------------
No solution found
Command terminated by signal 9
@@@16.13,4429196@@@
Command terminated by signal 9
@@@17.30,5718768@@@
Command terminated by signal 9
@@@19.80,8375864@@@
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
@@@27.29,12269168@@@


Time left: 68
------------------- QUERY 14 ----------------------
No solution found
Command terminated by signal 9
@@@15.19,4114192@@@
Command terminated by signal 9
@@@18.31,5522252@@@
Command terminated by signal 9
@@@20.73,8172952@@@


Time left: 40
------------------- QUERY 15 ----------------------
No solution found
Command terminated by signal 9
@@@18.29,4464756@@@
Command terminated by signal 9
@@@19.81,5443536@@@
Command terminated by signal 9
@@@19.86,5366484@@@


Time left: 11
------------------- QUERY 16 ----------------------
No solution found



Time left: -2
Out of time, terminating!

BK_STOP 1527857379927

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

Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-15
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-14
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-13
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-12
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-11
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-10
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-09
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-08
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-07
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-06
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-05
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-04
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-03
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-02
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-01
Warning: CPN OverApproximation is only available for Reachability queries without deadlock, negated fireability and UpperBounds, skipping GlobalResAllocation-COL-11-UpperBounds-00
Could not analyze the queries
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
Command terminated by signal 6
"@@@22.25,12287360@@@"

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="GlobalResAllocation-COL-11"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="tapaal"
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/GlobalResAllocation-COL-11.tgz
mv GlobalResAllocation-COL-11 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool tapaal"
echo " Input is GlobalResAllocation-COL-11, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r096-blw7-152650008300401"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.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 ;