MCC'2025- Execution of r152-tall-174876823900262

About the Execution of 2024-gold for PaceMaker-PT-none

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15719.790	3398623.00	9197483.00	12715.90	FFFFFTFFFFFFFFFT	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r152-tall-174876823900262.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool gold2024
Input is PaceMaker-PT-none, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r152-tall-174876823900262
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 6.5K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.1K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 29 14:32 equiv_col
-rw-r--r-- 1 mcc users 5 May 29 14:32 instance
-rw-r--r-- 1 mcc users 6 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 158K May 29 14:32 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

echo here is the order used to build the result vector(from xml file)
FORMULA_NAME PaceMaker-PT-none-LTLFireability-00
FORMULA_NAME PaceMaker-PT-none-LTLFireability-01
FORMULA_NAME PaceMaker-PT-none-LTLFireability-02
FORMULA_NAME PaceMaker-PT-none-LTLFireability-03
FORMULA_NAME PaceMaker-PT-none-LTLFireability-04
FORMULA_NAME PaceMaker-PT-none-LTLFireability-05
FORMULA_NAME PaceMaker-PT-none-LTLFireability-06
FORMULA_NAME PaceMaker-PT-none-LTLFireability-07
FORMULA_NAME PaceMaker-PT-none-LTLFireability-08
FORMULA_NAME PaceMaker-PT-none-LTLFireability-09
FORMULA_NAME PaceMaker-PT-none-LTLFireability-10
FORMULA_NAME PaceMaker-PT-none-LTLFireability-11
FORMULA_NAME PaceMaker-PT-none-LTLFireability-12
FORMULA_NAME PaceMaker-PT-none-LTLFireability-13
FORMULA_NAME PaceMaker-PT-none-LTLFireability-14
FORMULA_NAME PaceMaker-PT-none-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1748899811004

gold2024
Got BK_BIN_PATH=/home/mcc/BenchKit/bin/
---> gold2024 --- TAPAAL - v2.2024
Setting MODEL_PATH=.
Setting VERIFYPN=/home/mcc/BenchKit/bin/verifypn
Got BK_TIME_CONFINEMENT=3600
Setting TEMPDIR=/home/mcc/BenchKit/bin/tmp
Got BK_MEMORY_CONFINEMENT=16384
Limiting to 16265216 kB
Total timeout: 3590
Time left: 3590

*************************************
* TAPAAL verifying LTLFireability *
*************************************
TEMPDIR=/home/mcc/BenchKit/bin/tmp
QF=/home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe
MF=/home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP
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
timeout 1017 /home/mcc/BenchKit/bin/verifypn -n -ltl -q 718 -l 29 -d 299 -z 4 -s OverApprox --binary-query-io 2 --write-simplified /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 ./model.pnml ./LTLFireability.xml

FORMULA PaceMaker-PT-none-LTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 1 was solved

Query is NOT satisfied.

FORMULA PaceMaker-PT-none-LTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 2 was solved

Query is NOT satisfied.

FORMULA PaceMaker-PT-none-LTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 5 was solved

Query is satisfied.

FORMULA PaceMaker-PT-none-LTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 13 was solved

Query is NOT satisfied.

FORMULA PaceMaker-PT-none-LTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX
Query index 15 was solved

Query is satisfied.
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Solution found by parallel simplification (step 0)
Time left: 3584

---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 299 seconds
------------------- QUERY 1 ----------------------
No solution found
Spent 45.6575 on verification
free(): invalid size
Command terminated by signal 6
@@@45.76,2716168@@@
Spent 69.7885 on verification
free(): invalid size
Command terminated by signal 6
@@@69.91,3456260@@@
Spent 73.4389 on verification
free(): invalid size
Command terminated by signal 6
@@@73.58,3244784@@@
Spent 82.3631 on verification
free(): invalid size
Command terminated by signal 6
@@@82.49,3457176@@@

Time left: 3501
------------------- QUERY 2 ----------------------
No solution found
Spent 44.8355 on verification
free(): invalid size
Command terminated by signal 6
@@@44.94,2716416@@@
Spent 67.1169 on verification
free(): invalid size
Command terminated by signal 6
@@@67.24,3456716@@@
Spent 69.3368 on verification
free(): invalid size
Command terminated by signal 6
@@@69.46,3456308@@@
Spent 75.1965 on verification
free(): invalid size
Command terminated by signal 6
@@@75.33,3244916@@@

Time left: 3426
------------------- QUERY 3 ----------------------
No solution found
Spent 47.0115 on verification
free(): invalid size
Command terminated by signal 6
@@@47.12,2795424@@@
Spent 65.454 on verification
free(): invalid size
Command terminated by signal 6
@@@65.57,3536676@@@
Spent 67.5181 on verification
free(): invalid size
Command terminated by signal 6
@@@67.64,3535652@@@
Spent 67.8922 on verification
free(): invalid size
Command terminated by signal 6
@@@68.02,3247900@@@

Time left: 3358
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.012987 on verification
free(): invalid size
Command terminated by signal 6
@@@0.01,20016@@@
FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP STUBBORN AUT_STUB HEURISTIC DIST_HEUR OPTIM-1

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056297 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148120@@@
FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP OPTIM-1

Query index 0 was solved
Query is NOT satisfied.
Spent 0.052946 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148148@@@
FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP STUBBORN AUT_STUB HEURISTIC LOGFIRECOUNT_HEUR(5000) OPTIM-1

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061805 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148036@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT NDFS WEAK_SKIP HEURISTIC AUTOMATON_HEUR OPTIM-1
Time left: 3357
------------------- QUERY 5 ----------------------
No solution found
Spent 49.6399 on verification
free(): invalid size
Command terminated by signal 6
@@@49.75,2795456@@@
Spent 63.203 on verification
free(): invalid size
Command terminated by signal 6
@@@63.31,3227020@@@
Spent 64.0174 on verification
free(): invalid size
Command terminated by signal 6
@@@64.13,3227192@@@
Spent 70.3666 on verification
free(): invalid size
Command terminated by signal 6
@@@70.50,3247460@@@

Time left: 3287
------------------- QUERY 6 ----------------------
No solution found
Spent 48.8545 on verification
free(): invalid size
Command terminated by signal 6
@@@48.95,2794404@@@
Spent 69.7731 on verification
free(): invalid size
Command terminated by signal 6
@@@69.90,3535332@@@
Spent 71.0544 on verification
free(): invalid size
Command terminated by signal 6
@@@71.18,3535192@@@
Spent 71.0053 on verification
free(): invalid size
Command terminated by signal 6
@@@71.16,3246768@@@

Time left: 3215
------------------- QUERY 7 ----------------------
No solution found
Spent 48.2103 on verification
ERROR: Exceeded 2**32 limit of tokens in a single place (4294967395)
Command exited with non-zero status 255
@@@48.31,2716504@@@
Spent 69.256 on verification
ERROR: Exceeded 2**32 limit of tokens in a single place (4294967395)
Command exited with non-zero status 255
@@@69.37,3456544@@@
Spent 73.6739 on verification
ERROR: Exceeded 2**32 limit of tokens in a single place (4294967395)
Command exited with non-zero status 255
@@@73.79,3456668@@@
Spent 79.8273 on verification
ERROR: Exceeded 2**32 limit of tokens in a single place (4294967395)
Command exited with non-zero status 255
@@@79.97,3246620@@@

Time left: 3135
------------------- QUERY 8 ----------------------
No solution found
Spent 47.5234 on verification
free(): invalid size
Command terminated by signal 6
@@@47.62,2718828@@@
Spent 67.6519 on verification
free(): invalid size
Command terminated by signal 6
@@@67.79,3459492@@@
Spent 72.2728 on verification
free(): invalid size
Command terminated by signal 6
@@@72.39,3458400@@@
Spent 100.516 on verification
free(): invalid size
Command terminated by signal 6
@@@100.66,3247968@@@

Time left: 3034
------------------- QUERY 9 ----------------------
No solution found
Spent 52.2596 on verification
free(): invalid size
Command terminated by signal 6
@@@52.35,2795056@@@
Spent 63.4317 on verification
free(): invalid size
Command terminated by signal 6
@@@63.53,3225268@@@
Spent 67.5423 on verification
free(): invalid size
Command terminated by signal 6
@@@67.67,3226316@@@
Spent 71.3202 on verification
free(): invalid size
Command terminated by signal 6
@@@71.45,3246260@@@

Time left: 2963
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.013939 on verification
free(): invalid size
Command terminated by signal 6
@@@0.03,21924@@@
FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP STUBBORN AUT_STUB HEURISTIC DIST_HEUR OPTIM-1

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061745 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149836@@@
FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP STUBBORN AUT_STUB HEURISTIC LOGFIRECOUNT_HEUR(5000) OPTIM-1

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057245 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149784@@@
FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP OPTIM-1

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062047 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149836@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT NDFS WEAK_SKIP HEURISTIC AUTOMATON_HEUR OPTIM-1
Time left: 2962
------------------- QUERY 11 ----------------------
No solution found
Spent 48.5774 on verification
free(): invalid size
Command terminated by signal 6
@@@48.69,2717940@@@
Spent 70.2109 on verification
free(): invalid size
Command terminated by signal 6
@@@70.34,3455736@@@
Spent 77.9301 on verification
free(): invalid size
Command terminated by signal 6
@@@78.06,3246512@@@
Spent 85.9094 on verification
free(): invalid size
Command terminated by signal 6
@@@86.04,3457220@@@

Time left: 2876
---------------------------------------------------
Step 2: Sequential processing
---------------------------------------------------
Remaining 11 queries are verified sequentially.
Each query is verified for a dynamic timeout (at least 598 seconds)
Time left: 2876
------------------- QUERY 1 ----------------------
Running query 1 for 598 seconds. Remaining: 11 queries and 2876 seconds
No solution found
Spent 82.1164 on verification
free(): invalid size
Command terminated by signal 6
@@@84.23,3457696@@@

Time left: 2792
------------------- QUERY 2 ----------------------
Running query 2 for 598 seconds. Remaining: 10 queries and 2792 seconds
No solution found
Spent 66.9363 on verification
free(): invalid size
Command terminated by signal 6
@@@67.05,3458092@@@

Time left: 2724
------------------- QUERY 3 ----------------------
Running query 3 for 598 seconds. Remaining: 9 queries and 2724 seconds
No solution found
Spent 58.1149 on verification
free(): invalid size
Command terminated by signal 6
@@@60.31,3536076@@@

Time left: 2664
------------------- QUERY 4 ----------------------
Running query 4 for 598 seconds. Remaining: 8 queries and 2664 seconds
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.041774 on verification
free(): invalid size
Command terminated by signal 6
@@@0.05,148720@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP STUBBORN AUT_STUB HEURISTIC AUTOMATON_HEUR OPTIM-1
Time left: 2664
------------------- QUERY 5 ----------------------
Running query 5 for 598 seconds. Remaining: 7 queries and 2664 seconds
No solution found
Spent 57.1017 on verification
free(): invalid size
Command terminated by signal 6
@@@57.21,3227996@@@

Time left: 2606
------------------- QUERY 6 ----------------------
Running query 6 for 598 seconds. Remaining: 6 queries and 2606 seconds
No solution found
Spent 60.1977 on verification
free(): invalid size
Command terminated by signal 6
@@@60.38,3535356@@@

Time left: 2546
------------------- QUERY 7 ----------------------
Running query 7 for 598 seconds. Remaining: 5 queries and 2546 seconds
No solution found
Spent 67.095 on verification
ERROR: Exceeded 2**32 limit of tokens in a single place (4294967395)
Command exited with non-zero status 255
@@@71.21,3457088@@@

Time left: 2474
------------------- QUERY 8 ----------------------
Running query 8 for 618 seconds. Remaining: 4 queries and 2474 seconds
No solution found
Spent 87.2894 on verification
free(): invalid size
Command terminated by signal 6
@@@89.41,3459872@@@

Time left: 2385
------------------- QUERY 9 ----------------------
Running query 9 for 795 seconds. Remaining: 3 queries and 2385 seconds
No solution found
Spent 57.8905 on verification
free(): invalid size
Command terminated by signal 6
@@@60.99,3226384@@@

Time left: 2324
------------------- QUERY 10 ----------------------
Running query 10 for 1162 seconds. Remaining: 2 queries and 2324 seconds
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.047344 on verification
free(): invalid size
Command terminated by signal 6
@@@0.20,151132@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP STUBBORN AUT_STUB HEURISTIC AUTOMATON_HEUR OPTIM-1
Time left: 2323
------------------- QUERY 11 ----------------------
Running query 11 for 2323 seconds. Remaining: 1 queries and 2323 seconds
No solution found
Spent 93.5833 on verification
free(): invalid size
Command terminated by signal 6
@@@98.73,3457348@@@

Time left: 2224
Time left: 2224
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (11 in total)
Each query is verified by 4 parallel strategies for 202 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@93.19,4174172@@@
Command terminated by signal 9
@@@126.72,5529396@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 2011
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058233 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148072@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06425 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147968@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.093136 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148100@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.080746 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148196@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2011
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065712 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147800@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057958 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147960@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061169 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147960@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06665 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147936@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2011
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058544 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147852@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072557 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148032@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057435 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065621 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147964@@@
Command terminated by signal 6
@@@0.08,147968@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2010
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057993 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148892@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061213 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148880@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074923 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148912@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058963 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148672@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2010
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057307 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148192@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056153 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148212@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06007 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148116@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063368 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148188@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2010
------------------- QUERY 7 ----------------------
Solution found in random processing (step 4)

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060834 on verification
@@@0.07,147932@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 7 -n

FORMULA PaceMaker-PT-none-LTLFireability-14 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2010
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063122 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149968@@@

Query index 0 was solved
Query is NOT satisfied.

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064926 on verification
free(): invalid size
Spent 0.066974 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150036@@@
Command terminated by signal 6
@@@0.07,150120@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.0714 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150064@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2009
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058323 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148472@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057144 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148404@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070595 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148392@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060965 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148460@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2009
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057695 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149728@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062065 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149784@@@

Query index 0 was solved
Query is NOT satisfied.

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068487 on verification
free(): invalid size
Spent 0.062243 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149692@@@
Command terminated by signal 6
@@@0.08,149728@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2009
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.314744 on verification
free(): invalid size
Command terminated by signal 6
@@@0.32,157840@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.394485 on verification
free(): invalid size
Command terminated by signal 6
@@@0.40,163384@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.452168 on verification
free(): invalid size
Command terminated by signal 6
@@@0.46,169180@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.573665 on verification
free(): invalid size
Command terminated by signal 6
@@@0.58,167864@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 2008
Time left: 2008
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 200 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@184.52,4140832@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 1805
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064998 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147848@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060972 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148184@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073461 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072625 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148124@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1805
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060383 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148060@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.052089 on verification
free(): invalid size
Command terminated by signal 6
@@@0.05,147904@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061118 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147888@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064671 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148048@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1804
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.048984 on verification
free(): invalid size
Command terminated by signal 6
@@@0.05,147964@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063906 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059765 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148172@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054316 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147968@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1804
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062818 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148796@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057649 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148996@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07345 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148744@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059129 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148908@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1804
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05529 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148100@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062394 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148232@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061606 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148416@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064526 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148284@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1803
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061974 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149928@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066355 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150020@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06984 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149928@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072368 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149928@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1803
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056257 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148384@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064226 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148616@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063612 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148444@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058829 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148552@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1803
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067104 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149736@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061302 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149748@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067142 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149776@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065036 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149600@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1802
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.133781 on verification
free(): invalid size
Command terminated by signal 6
@@@0.14,153096@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.214855 on verification
free(): invalid size
Command terminated by signal 6
@@@0.22,157716@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.20604 on verification
free(): invalid size
Command terminated by signal 6
@@@1.22,214536@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.79089 on verification
free(): invalid size
Command terminated by signal 6
@@@1.80,233924@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1800
Time left: 1800
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 180 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@101.22,4123912@@@
Command terminated by signal 9
@@@153.17,5500968@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 1617
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060772 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147984@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068827 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148360@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06579 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148104@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073475 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148052@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1617
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05612 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148064@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056445 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147916@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.076865 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147960@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063062 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148084@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1616
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060752 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147848@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065378 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147892@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065621 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148128@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061411 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148076@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1616
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067096 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148796@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065557 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149168@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057486 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148752@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065001 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148808@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1616
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055112 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148296@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061643 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148252@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057106 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148228@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074189 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148216@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1615
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069306 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150096@@@

Query index 0 was solved
Query is NOT satisfied.

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070284 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150080@@@
Spent 0.061324 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150088@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073144 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150064@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1615
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055646 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148508@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058164 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148456@@@

Query index 0 was solved
Query is NOT satisfied.

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071708 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148644@@@
Spent 0.07588 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148580@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1615
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057299 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149880@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066657 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149740@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066368 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149892@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066207 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149692@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1615
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066264 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148780@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.204234 on verification
free(): invalid size
Command terminated by signal 6
@@@0.21,157392@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.292275 on verification
free(): invalid size
Command terminated by signal 6
@@@0.31,163916@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.01592 on verification
free(): invalid size
Command terminated by signal 6
@@@1.04,192336@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1613
Time left: 1613
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 161 seconds
------------------- QUERY 1 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058301 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147956@@@
Command terminated by signal 9
@@@141.03,5540884@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

FORMULA PaceMaker-PT-none-LTLFireability-06 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1449
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064342 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148004@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06515 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148044@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065661 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148452@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070448 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148068@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1449
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063532 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147920@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057696 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148032@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065687 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148304@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059546 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147856@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1449
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063421 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148140@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056384 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148064@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070291 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148120@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058576 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148032@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1448
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057085 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148924@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066038 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149060@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071758 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148892@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063716 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148992@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1448
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065078 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148388@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057563 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148340@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065239 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148148@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069331 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148268@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1448
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068928 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150104@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064607 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149936@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063698 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149780@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077937 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150008@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1447
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063088 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148540@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057822 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148568@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072282 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148632@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06673 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148420@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1447
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060962 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149728@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063569 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149792@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059872 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149560@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067423 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149544@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1447
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069643 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148160@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.093194 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,151040@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.081325 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149380@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.105201 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,150072@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1446
Time left: 1446
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 144 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@123.78,4261808@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 1299
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072914 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148000@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074055 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148232@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.076449 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148192@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.078843 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148236@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1299
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062274 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148020@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060262 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147944@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06922 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147756@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058865 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147960@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1298
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.051779 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148096@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056968 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148132@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062245 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148096@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061618 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148092@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1298
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.053893 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148760@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068897 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148608@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068154 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149168@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066006 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148772@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1298
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055748 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148400@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064096 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148256@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057475 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148220@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07545 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148036@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1298
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064624 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150164@@@

Query index 0 was solved
Query is NOT satisfied.

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066361 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150124@@@
Spent 0.067766 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149960@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077593 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,150424@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1297
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05997 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148648@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062463 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148376@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073157 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148344@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062921 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148864@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1297
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061356 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149620@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065459 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149556@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069766 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149712@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064378 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149788@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1297
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.108715 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,151960@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.097181 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,150668@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.129355 on verification
free(): invalid size
Command terminated by signal 6
@@@0.14,153536@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.800115 on verification
free(): invalid size
Command terminated by signal 6
@@@0.81,184344@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1296
Time left: 1296
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 129 seconds
------------------- QUERY 1 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058548 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147980@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

FORMULA PaceMaker-PT-none-LTLFireability-06 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1161
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.083447 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148052@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.098584 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,147796@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.091756 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,147960@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.092084 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,147932@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1160
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057216 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148008@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059122 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148024@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.075935 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147656@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071656 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147800@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1160
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058843 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057834 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148060@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06746 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148108@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05869 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148108@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1160
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065801 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149220@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.080843 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149148@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064949 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148768@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.076767 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148920@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1159
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060984 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148196@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063025 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148240@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.097856 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148204@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06179 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148240@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1159
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066101 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149996@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064654 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150112@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068011 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150004@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.081358 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149856@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1159
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060058 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148468@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059229 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148572@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068321 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148424@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060471 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148512@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1158
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064084 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149820@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060218 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149696@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070303 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149660@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062297 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149728@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1158
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.146343 on verification
free(): invalid size
Command terminated by signal 6
@@@0.16,151848@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.312314 on verification
free(): invalid size
Command terminated by signal 6
@@@0.32,162704@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.791032 on verification
free(): invalid size
Command terminated by signal 6
@@@0.80,186120@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.2977 on verification
free(): invalid size
Command terminated by signal 6
@@@1.30,214372@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1157
Time left: 1157
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 115 seconds
------------------- QUERY 1 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063725 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147956@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

FORMULA PaceMaker-PT-none-LTLFireability-06 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1038
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.088677 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148524@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.102005 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148072@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.119306 on verification
free(): invalid size
Command terminated by signal 6
@@@0.13,148188@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.102792 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,148012@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1038
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064587 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147804@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066141 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147852@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.085533 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147912@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.080129 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148032@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1038
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062699 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147996@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054867 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147956@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066389 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148084@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060749 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147952@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1038
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065232 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148644@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060295 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148908@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066088 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148964@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061941 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149180@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1037
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05494 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148252@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058339 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148072@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06915 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148252@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077208 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148620@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1037
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056415 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,150084@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066769 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150124@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.075028 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149952@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063844 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150276@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1037
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054225 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148600@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062919 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148564@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05732 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148516@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069385 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148616@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1036
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056037 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149748@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068575 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149696@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072638 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149728@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.0597 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149820@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1036
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.14273 on verification
free(): invalid size
Command terminated by signal 6
@@@0.15,152640@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.171148 on verification
free(): invalid size
Command terminated by signal 6
@@@0.18,156408@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.50339 on verification
free(): invalid size
Command terminated by signal 6
@@@1.51,223652@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 2.40742 on verification
free(): invalid size
Command terminated by signal 6
@@@2.43,265368@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 1033
Time left: 1033
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 103 seconds
------------------- QUERY 1 ----------------------
No solution found
Command terminated by signal 9
@@@92.01,4107564@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 927
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077154 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148164@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.10482 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148080@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.112326 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,148128@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.09572 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,147996@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 927
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.053295 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148052@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062306 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147912@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061791 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147976@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.092371 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148080@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 926
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059376 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147760@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060544 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148040@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072421 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148000@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.075886 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,147984@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 926
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.079316 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067418 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149032@@@
Command terminated by signal 6
@@@0.08,149140@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.093176 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148816@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058719 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148896@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 926
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077986 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148100@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070145 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148388@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.089549 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148152@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.091339 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148284@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 925
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063424 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149936@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067251 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149780@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074275 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149876@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074867 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,150124@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 925
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058761 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148592@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065049 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148564@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.075923 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148364@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.08724 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148572@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 925
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065075 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149656@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058047 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149860@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065642 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149652@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067997 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149876@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 924
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074158 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,149152@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.141745 on verification
free(): invalid size
Command terminated by signal 6
@@@0.14,153872@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.469939 on verification
free(): invalid size
Command terminated by signal 6
@@@0.47,170064@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.931787 on verification
free(): invalid size
Command terminated by signal 6
@@@0.94,188632@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 923
Time left: 923
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 92 seconds
------------------- QUERY 1 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057274 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148048@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

FORMULA PaceMaker-PT-none-LTLFireability-06 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 829
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069912 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148472@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068754 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060542 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148480@@@
Command terminated by signal 6
@@@0.07,147952@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068012 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148020@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 829
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054104 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148032@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064579 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147856@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054793 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147840@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074719 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147988@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 828
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055889 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148112@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062076 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147940@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061002 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148104@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062765 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147972@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 828
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062304 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148748@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063306 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149176@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067155 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148900@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067522 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149200@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 828
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061678 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148208@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063651 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148096@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062539 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148244@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06009 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148264@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 827
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061803 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,150104@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069063 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149948@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073656 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150084@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061371 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150036@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 827
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06442 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148460@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063846 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148580@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065322 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148608@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072281 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148296@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 827
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067119 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149816@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067367 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149804@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067009 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149868@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056297 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149568@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 826
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072859 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149064@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.083275 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150144@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.74164 on verification
free(): invalid size
Command terminated by signal 6
@@@0.76,183464@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.02103 on verification
free(): invalid size
Command terminated by signal 6
@@@1.03,192868@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 825
Time left: 825
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 82 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 740
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077911 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148184@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073066 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148128@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06826 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148132@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077086 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147952@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 740
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060567 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147796@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06084 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147952@@@

Query index 0 was solved
Query is NOT satisfied.

Query index 0 was solved
Query is NOT satisfied.
Spent 0.076106 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147792@@@
Spent 0.057672 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147932@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 740
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058987 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148084@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061243 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147868@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05796 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147920@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071218 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147924@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 739
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057428 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148792@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064805 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149164@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06273 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148768@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063409 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148988@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 739
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058702 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148272@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057105 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148148@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062749 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148348@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064366 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148080@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 739
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063141 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150004@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066268 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150336@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070064 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150248@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070663 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150012@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 738
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06268 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148592@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05788 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148660@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074523 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148724@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05992 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148568@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 738
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061845 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149780@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059694 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149812@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069612 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149800@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.0705 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,149564@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 738
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.09121 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,149780@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.13737 on verification
free(): invalid size
Command terminated by signal 6
@@@0.15,153648@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.289809 on verification
free(): invalid size
Command terminated by signal 6
@@@0.29,162640@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.47731 on verification
free(): invalid size
Command terminated by signal 6
@@@0.50,171640@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 737
Time left: 737
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 73 seconds
------------------- QUERY 1 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058494 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148024@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058127 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147976@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

FORMULA PaceMaker-PT-none-LTLFireability-06 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 662
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069236 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148224@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072605 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148136@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063617 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148148@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07358 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148004@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 662
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059016 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147860@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057826 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147872@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067388 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148024@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064203 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148000@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 661
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06144 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147788@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057741 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147940@@@

Query index 0 was solved
Query is NOT satisfied.

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060686 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148144@@@
Spent 0.067539 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148000@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 661
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060506 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148872@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064505 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149164@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062304 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149104@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066687 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148972@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 661
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060072 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148440@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06259 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148080@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.080336 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148336@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064331 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148096@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 661
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06345 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062046 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07772 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150372@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073088 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150136@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 660
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058141 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148500@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058334 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148520@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071045 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148384@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062056 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148464@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 660
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064017 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149832@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058127 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149688@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074304 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149800@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058863 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149872@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 660
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.232511 on verification
free(): invalid size
Command terminated by signal 6
@@@0.24,159692@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.289057 on verification
free(): invalid size
Command terminated by signal 6
@@@0.29,160604@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.558202 on verification
free(): invalid size
Command terminated by signal 6
@@@0.56,180380@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.549191 on verification
free(): invalid size
Command terminated by signal 6
@@@0.57,173004@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 659
Time left: 659
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 65 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 591
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061032 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148096@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070338 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148240@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070013 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148092@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063619 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148120@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 591
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.053195 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148008@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063262 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147984@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.078956 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148072@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071506 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148028@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 590
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.051291 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147876@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05559 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147848@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064882 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147932@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05709 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148148@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 590
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055379 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148956@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067514 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148888@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066127 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148916@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06686 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148740@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 590
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067257 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148324@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066752 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148180@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058479 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148264@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069215 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148264@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 589
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061769 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149896@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068088 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150028@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057869 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150124@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.083939 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150112@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 589
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055122 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148424@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05603 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148436@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062398 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Command terminated by signal 6
@@@0.07,148588@@@
Spent 0.073111 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148464@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 589
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06882 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149868@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068393 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149660@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070204 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149728@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065169 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149736@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 589
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.097019 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,151176@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.168725 on verification
free(): invalid size
Command terminated by signal 6
@@@0.18,153944@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.207451 on verification
free(): invalid size
Command terminated by signal 6
@@@0.21,157276@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.198626 on verification
free(): invalid size
Command terminated by signal 6
@@@0.20,158072@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 588
Time left: 588
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 58 seconds
------------------- QUERY 1 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.053019 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147860@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

FORMULA PaceMaker-PT-none-LTLFireability-06 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 528
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073257 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148100@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070654 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148136@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073613 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148144@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065842 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148192@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 527
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062524 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148068@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058332 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148196@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060113 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147940@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060165 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148072@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 527
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063084 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148072@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055068 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148152@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055483 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148024@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065009 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148012@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 527
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06492 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061927 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148884@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062562 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148876@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063547 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148824@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 527
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064336 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148212@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057162 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148108@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062599 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148044@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063901 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148112@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 526
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063759 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150148@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065579 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149904@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067766 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150144@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069417 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149980@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 526
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064474 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148516@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059316 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148480@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067791 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148560@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056653 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148548@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 526
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064423 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149788@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065543 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149820@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.092405 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,149604@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073442 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149804@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 525
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074038 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149456@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.48405 on verification
free(): invalid size
Command terminated by signal 6
@@@0.49,170352@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.780016 on verification
free(): invalid size
Command terminated by signal 6
@@@0.79,185536@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.23034 on verification
free(): invalid size
Command terminated by signal 6
@@@1.25,213640@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 524
Time left: 524
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 52 seconds
------------------- QUERY 1 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065469 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148120@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

FORMULA PaceMaker-PT-none-LTLFireability-06 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 470
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065712 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148552@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.081119 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148076@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.088582 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148752@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070806 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148060@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 469
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056163 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147928@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072283 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147828@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.076289 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147996@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07848 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,147980@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 469
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.053912 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148088@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061447 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148016@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.086637 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147980@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.078664 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148024@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 469
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056176 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148824@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06166 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148908@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.093413 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148820@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.076945 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,149288@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 468
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061671 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148316@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060881 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148172@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074476 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148300@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067911 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148152@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 468
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064937 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150232@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.104679 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,150048@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073209 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149960@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059029 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,150100@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 468
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058439 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148568@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.078828 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148676@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077543 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148536@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074505 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148456@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 467
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059129 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149636@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062897 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149724@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.091379 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149784@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.08643 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,149696@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 467
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07463 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149344@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.102061 on verification
free(): invalid size
Command terminated by signal 6
@@@0.13,148944@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.655813 on verification
free(): invalid size
Command terminated by signal 6
@@@0.66,180048@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.714433 on verification
free(): invalid size
Command terminated by signal 6
@@@0.73,171076@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 466
Time left: 466
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 46 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 418
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074198 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148540@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069742 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148444@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057507 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148132@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.081755 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148156@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 417
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.052476 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147768@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064482 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147928@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064529 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147944@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062434 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147916@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 417
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068258 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148056@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065425 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147972@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064111 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148012@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077618 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147820@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 417
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057005 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148936@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05708 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148900@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068935 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148980@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071702 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148912@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 416
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055172 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148204@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057636 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148184@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06845 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148336@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066492 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148292@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 416
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061502 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,150152@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070898 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150120@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070565 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149892@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067767 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149988@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 416
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055102 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148504@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068384 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148568@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064493 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148396@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06738 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148500@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 415
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057732 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149800@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077545 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149700@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066446 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149692@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064756 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149812@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 415
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07414 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148464@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.431425 on verification
free(): invalid size
Command terminated by signal 6
@@@0.44,165612@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.661845 on verification
free(): invalid size
Command terminated by signal 6
@@@0.67,180268@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.88745 on verification
free(): invalid size
Command terminated by signal 6
@@@0.89,183384@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 414
Time left: 414
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 41 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 371
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.103913 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148072@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.106985 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148252@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.1024 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,148048@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.088583 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148340@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 370
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.083645 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148048@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.098304 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,147932@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.080119 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,147976@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.092753 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,147972@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 370
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054882 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147912@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064142 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148088@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.079582 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148084@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058544 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147920@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 370
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.053094 on verification
free(): invalid size
Command terminated by signal 6
@@@0.05,148712@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.079347 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148864@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069197 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148968@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06677 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148972@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 370
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05532 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148264@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.113556 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Spent 0.090467 on verification
free(): invalid size
Command terminated by signal 6
@@@0.13,148276@@@
Command terminated by signal 6
@@@0.13,148028@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.10565 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,148180@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 369
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058907 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,150044@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.082804 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150152@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071999 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,149984@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.08782 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,150112@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 369
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058974 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148484@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.104165 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148388@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.111449 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,148636@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.09553 on verification
free(): invalid size
Command terminated by signal 6
@@@0.12,148636@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 369
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05578 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149828@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067608 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149704@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.087848 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,149876@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077247 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,149724@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 368
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.175823 on verification
free(): invalid size
Command terminated by signal 6
@@@0.19,154200@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.275096 on verification
free(): invalid size
Command terminated by signal 6
@@@0.28,159312@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.289625 on verification
free(): invalid size
Command terminated by signal 6
@@@0.33,156332@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.10784 on verification
free(): invalid size
Command terminated by signal 6
@@@1.11,194348@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 367
Time left: 367
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 36 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 329
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064827 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148180@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072838 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062827 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148068@@@
Command terminated by signal 6
@@@0.08,148120@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.084406 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147928@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 329
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062446 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147908@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057608 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148016@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064992 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147984@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06586 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148284@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 328
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064127 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147980@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063149 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148096@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059471 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148044@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067648 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147980@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 328
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057385 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148740@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065021 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066585 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148908@@@
Command terminated by signal 6
@@@0.07,148944@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069488 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149276@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 328
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056742 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148244@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069212 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148224@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.08076 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148556@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073193 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148156@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 327
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062083 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149996@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.076599 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150064@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072712 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150088@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070129 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150008@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 327
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057113 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148428@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065591 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148448@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07058 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148280@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069304 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148536@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 327
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056063 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149632@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065513 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149708@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.077945 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149608@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071384 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,149768@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 326
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.081022 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149748@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.279399 on verification
free(): invalid size
Command terminated by signal 6
@@@0.28,159656@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.921591 on verification
free(): invalid size
Command terminated by signal 6
@@@0.95,181816@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 2.45413 on verification
free(): invalid size
Command terminated by signal 6
@@@2.46,239040@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 324
Time left: 324
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 32 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 289
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065496 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148024@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073026 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148128@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071091 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148168@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.097364 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148128@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 289
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069376 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148056@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056883 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147912@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070934 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147968@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072904 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148032@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 288
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.052867 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148128@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066377 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148008@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063541 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148052@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066336 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148044@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 288
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058126 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058457 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148972@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069038 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148668@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072582 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148896@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 288
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056632 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148092@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069519 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148136@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.075608 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148188@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059838 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148100@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 287
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.078193 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150080@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068601 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150496@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066052 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150020@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.090484 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,149808@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 287
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070144 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148504@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067969 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148328@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059218 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148852@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069216 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148612@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 287
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062829 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149596@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072316 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149552@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069555 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149632@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069083 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149808@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 287
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.10941 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,152308@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.100378 on verification
free(): invalid size
Command terminated by signal 6
@@@0.13,150708@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.35171 on verification
free(): invalid size
Command terminated by signal 6
@@@0.36,164548@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.23338 on verification
free(): invalid size
Command terminated by signal 6
@@@1.24,190512@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 285
Time left: 285
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 28 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 255
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074703 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Spent 0.066836 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148096@@@
Command terminated by signal 6
@@@0.08,148224@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064659 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148136@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.084116 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148400@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 254
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06517 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147808@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054989 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148072@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067129 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148252@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068004 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148032@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 254
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061932 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148144@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056812 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147836@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.061777 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148132@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067002 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,147996@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 254
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068692 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148768@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062279 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058181 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148848@@@
Command terminated by signal 6
@@@0.07,148772@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072298 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148724@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 253
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064762 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148176@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05622 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148220@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067053 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148236@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063377 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148344@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 253
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.059683 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074605 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150008@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071134 on verification
free(): invalid size

Query index 0 was solved
Query is NOT satisfied.
Command terminated by signal 6
@@@0.09,150072@@@
Spent 0.06709 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149972@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 253
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068104 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148416@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056379 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148520@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065295 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148628@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065293 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148612@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 253
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055316 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149528@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068872 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149780@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060178 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149752@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.073823 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149848@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 252
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.186328 on verification
free(): invalid size
Command terminated by signal 6
@@@0.19,156696@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.235636 on verification
free(): invalid size
Command terminated by signal 6
@@@0.24,157036@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.33671 on verification
free(): invalid size
Command terminated by signal 6
@@@0.34,164280@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.771269 on verification
free(): invalid size
Command terminated by signal 6
@@@0.79,180684@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 251
Time left: 251
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 25 seconds
------------------- QUERY 1 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063421 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148072@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

FORMULA PaceMaker-PT-none-LTLFireability-06 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 224
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.057185 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148200@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071036 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148148@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054854 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148124@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.084524 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148032@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 223
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056891 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148304@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064026 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147960@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067413 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,147992@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065127 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148024@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 223
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055891 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148104@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058502 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,147980@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065508 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148040@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.075745 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148124@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 223
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058851 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148940@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.058652 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148900@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.0633 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148920@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.087035 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148868@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 223
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.072588 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148652@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064539 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148064@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.06154 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148340@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069955 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148248@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 222
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065722 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150376@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062019 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150076@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070876 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,150092@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.078285 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150004@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 222
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069841 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148584@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.064462 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148588@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.067503 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148624@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.060476 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148548@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 222
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.056691 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149772@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068482 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149700@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065347 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149832@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.068417 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149628@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 221
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.088097 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,150348@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.228055 on verification
free(): invalid size
Command terminated by signal 6
@@@0.23,155808@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.291938 on verification
free(): invalid size
Command terminated by signal 6
@@@0.30,162476@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.04467 on verification
free(): invalid size
Command terminated by signal 6
@@@1.05,186492@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 220
Time left: 220
---------------------------------------------------
Step 4: Random Parallel processing
---------------------------------------------------
Doing random parallel verification of individual queries (10 in total)
Each query is verified by 4 parallel strategies for 22 seconds
------------------- QUERY 1 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 0 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 1337 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 2018 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-ltl tarjan -s RDFS --seed-offset 9220 -p -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.NWJgsJqrMP /home/mcc/BenchKit/bin/tmp/tmp.51BjbNiEpe --binary-query-io 1 -x 1 -n

Time left: 196
------------------- QUERY 2 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063415 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148180@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.091058 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,147944@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.100224 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148096@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069593 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148140@@@

FORMULA PaceMaker-PT-none-LTLFireability-08 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 196
------------------- QUERY 3 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.053598 on verification
free(): invalid size
Command terminated by signal 6
@@@0.05,147916@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069448 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147924@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063667 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147964@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.081408 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,147824@@@

FORMULA PaceMaker-PT-none-LTLFireability-11 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 195
------------------- QUERY 4 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.05377 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148140@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.085896 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148144@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063854 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,147900@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.074087 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148092@@@

FORMULA PaceMaker-PT-none-LTLFireability-04 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 195
------------------- QUERY 5 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.053492 on verification
free(): invalid size
Command terminated by signal 6
@@@0.05,148972@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07077 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148984@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054046 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148876@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.089058 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148832@@@

FORMULA PaceMaker-PT-none-LTLFireability-07 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 195
------------------- QUERY 6 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.054744 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,148400@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.071865 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,148220@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.065253 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,148072@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.069722 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,148280@@@

FORMULA PaceMaker-PT-none-LTLFireability-03 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 195
------------------- QUERY 8 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.062681 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149940@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.063094 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149928@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.07578 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,150328@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.081903 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,150088@@@

FORMULA PaceMaker-PT-none-LTLFireability-10 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 194
------------------- QUERY 9 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.052307 on verification
free(): invalid size
Command terminated by signal 6
@@@0.05,148400@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.081759 on verification
free(): invalid size
Command terminated by signal 6
@@@0.10,148560@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.091369 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148608@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.079323 on verification
free(): invalid size
Command terminated by signal 6
@@@0.11,148516@@@

FORMULA PaceMaker-PT-none-LTLFireability-12 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 194
------------------- QUERY 10 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.055941 on verification
free(): invalid size
Command terminated by signal 6
@@@0.06,149876@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.070025 on verification
free(): invalid size
Command terminated by signal 6
@@@0.07,149748@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.080241 on verification
free(): invalid size
Command terminated by signal 6
@@@0.08,149560@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.078615 on verification
free(): invalid size
Command terminated by signal 6
@@@0.09,149740@@@

FORMULA PaceMaker-PT-none-LTLFireability-09 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 193
------------------- QUERY 11 ----------------------
No solution found

Query index 0 was solved
Query is NOT satisfied.
Spent 0.158631 on verification
free(): invalid size
Command terminated by signal 6
@@@0.16,155324@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.287284 on verification
free(): invalid size
Command terminated by signal 6
@@@0.29,158372@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 0.498343 on verification
free(): invalid size
Command terminated by signal 6
@@@0.53,168140@@@

Query index 0 was solved
Query is NOT satisfied.
Spent 1.33065 on verification
free(): invalid size
Command terminated by signal 6
@@@1.34,196944@@@

FORMULA PaceMaker-PT-none-LTLFireability-00 FALSE TECHNIQUES EXPLICIT TARJAN WEAK_SKIP HEURISTIC RANDOM_HEUR OPTIM-1
Time left: 192
Time left: 192
End of script.
terminated-with-cleanup

BK_STOP 1748903209627

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

CPN OverApproximation is only usable on colored models

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="PaceMaker-PT-none"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2024"
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-5832"
echo " Executing tool gold2024"
echo " Input is PaceMaker-PT-none, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r152-tall-174876823900262"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PaceMaker-PT-none.tgz
mv PaceMaker-PT-none execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;