MCC'2021- Execution of r289-tall-162124151900076

About the Execution of LoLA for CANConstruction-PT-090

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
16104.947	511950.00	1341668.00	692.20	F?F?????????????	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc202
Waiting for the VM
..........................
====
Generated by BenchKit 2-4028
Executing tool lola
Input is CANConstruction-PT-090,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
==========================

--------------------
preparation of the
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users

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

=== Data for post

The expected result
BOOL_VECTOR

here is the order
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi
FORMULA_NAME CANConstructi

=== Now, execution

BK_START 1621249374211

starting LoLA
BK_INPUT CANConstruction-PT-090
BK_EXAMINATION: LTLCardinality
bin directory: /home/mcc/B
current directory:
LTLCardinality

FORMULA CANConstruction-PT-090-00

FORMULA CANConstruction-PT-090-02

BK_STOP 1621249886161

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML
lola: reading net
lola: reading pnml
lola: PNML file
lola: finished parsing
lola: closed net
lola: Reading formula.
lola: Using XML
lola: reading XML formula
lola: reading formula
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: RELEASE
lola: RELEASE
lola: RELEASE
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: Rule S: 0
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-02:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE

Time elapsed: 209 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-02:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE

Time elapsed: 214 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-02:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE

Time elapsed: 219 secs.
# running tasks:
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED
lola: result
lola: markings :
lola: time used
lola: memory pages used :
lola: Created skeleton
lola: RELEASE
lola: RELEASE
lola: Created skeleton
lola: LAUNCH INITIAL
lola: LAUNCH task
lola: time limit : 0 sec
lola: memory limit: 0 pages
lola: FINISHED
lola: result
lola: Created skeleton
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: Created skeleton
lola: Created skeleton
lola: RELEASE
lola: Created skeleton
lola: Created skeleton
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: rewrite Frontend/P
lola: NOTDEADLOCKFREE
sara: try reading

lola: NOTDEADLOCKFREE
lola: FINISHED
lola: result
lola: CANCELED
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used
lola: memory pages used :
lola: rewrite Frontend/P
lola: rewrite Frontend/P
sara: try reading
sara: place or transition

lola: FINISHED
lola: result
lola: CANCELED
lola: FINISHED
lola: result
lola: fired transitions :
lola: tried executions :
lola: time used
lola: memory pages used :
lola: Created skeleton
lola: Created skeleton
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: Created skeleton
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: LAUNCH task
lola: time limit
lola: memory limit: 5 pages
lola: FINISHED
lola: result
lola: markings :
lola: fired transitions :
lola: time used
lola: memory pages used :
lola: planning
lola: planning
lola: planning
lola: planning
lola: planning
lola: planning
lola: Created skeleton
lola: Created skeleton
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
lola: NOTDEADLOCKFREE
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 4/3380
76 LTL SRCH 3/3379

Time elapsed: 224 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 9/3380
76 LTL SRCH 8/3379

Time elapsed: 229 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 14/3380
76 LTL SRCH 13/3379

Time elapsed: 234 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 19/3380
76 LTL SRCH 18/3379

Time elapsed: 239 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 24/3380
76 LTL SRCH 23/3379

Time elapsed: 244 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 29/3380
76 LTL SRCH 28/3379

Time elapsed: 249 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 34/3380
76 LTL SRCH 33/3379

Time elapsed: 254 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 39/3380
76 LTL SRCH 38/3379

Time elapsed: 259 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 44/3380
76 LTL SRCH 43/3379

Time elapsed: 264 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 49/3380
76 LTL SRCH 48/3379

Time elapsed: 269 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 54/3380
76 LTL SRCH 53/3379

Time elapsed: 274 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 59/3380
76 LTL SRCH 58/3379

Time elapsed: 279 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 64/3380
76 LTL SRCH 63/3379

Time elapsed: 284 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 69/3380
76 LTL SRCH 68/3379

Time elapsed: 289 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 74/3380
76 LTL SRCH 73/3379

Time elapsed: 294 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 79/3380
76 LTL SRCH 78/3379

Time elapsed: 299 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 84/3380
76 LTL SRCH 83/3379

Time elapsed: 304 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 89/3380
76 LTL SRCH 88/3379

Time elapsed: 309 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 94/3380
76 LTL SRCH 93/3379

Time elapsed: 314 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 99/3380
76 LTL SRCH 98/3379

Time elapsed: 319 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 104/3380
76 LTL SRCH 103/3379

Time elapsed: 324 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 109/3380
76 LTL SRCH 108/3379

Time elapsed: 329 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 114/3380
76 LTL SRCH 113/3379

Time elapsed: 334 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 119/3380
76 LTL SRCH 118/3379

Time elapsed: 339 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 124/3380
76 LTL SRCH 123/3379

Time elapsed: 344 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 129/3380
76 LTL SRCH 128/3379

Time elapsed: 349 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 134/3380
76 LTL SRCH 133/3379

Time elapsed: 354 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 139/3380
76 LTL SRCH 138/3379

Time elapsed: 359 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 144/3380
76 LTL SRCH 143/3379

Time elapsed: 364 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 149/3380
76 LTL SRCH 148/3379

Time elapsed: 369 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 154/3380
76 LTL SRCH 153/3379

Time elapsed: 374 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 159/3380
76 LTL SRCH 158/3379

Time elapsed: 379 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 164/3380
76 LTL SRCH 163/3379

Time elapsed: 384 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 169/3380
76 LTL SRCH 168/3379

Time elapsed: 389 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 174/3380
76 LTL SRCH 173/3379

Time elapsed: 394 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 179/3380
76 LTL SRCH 178/3379

Time elapsed: 399 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 184/3380
76 LTL SRCH 183/3379

Time elapsed: 404 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 189/3380
76 LTL SRCH 188/3379

Time elapsed: 409 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 194/3380
76 LTL SRCH 193/3379

Time elapsed: 414 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 199/3380
76 LTL SRCH 198/3379

Time elapsed: 419 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 204/3380
76 LTL SRCH 203/3379

Time elapsed: 424 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 209/3380
76 LTL SRCH 208/3379

Time elapsed: 429 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 214/3380
76 LTL SRCH 213/3379

Time elapsed: 434 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 219/3380
76 LTL SRCH 218/3379

Time elapsed: 439 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 224/3380
76 LTL SRCH 223/3379

Time elapsed: 444 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 229/3380
76 LTL SRCH 228/3379

Time elapsed: 449 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 234/3380
76 LTL SRCH 233/3379

Time elapsed: 454 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 239/3380
76 LTL SRCH 238/3379

Time elapsed: 459 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 244/3380
76 LTL SRCH 243/3379

Time elapsed: 464 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 249/3380
76 LTL SRCH 248/3379

Time elapsed: 469 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 254/3380
76 LTL SRCH 253/3379

Time elapsed: 474 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 259/3380
76 LTL SRCH 258/3379

Time elapsed: 479 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 264/3380
76 LTL SRCH 263/3379

Time elapsed: 484 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 269/3380
76 LTL SRCH 268/3379

Time elapsed: 489 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 274/3380
76 LTL SRCH 273/3379

Time elapsed: 494 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 279/3380
76 LTL SRCH 278/3379

Time elapsed: 499 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 284/3380
76 LTL SRCH 283/3379

Time elapsed: 504 secs.
# running tasks:
FINISHED FORMULA: CATEGORY
CANConstruction-PT-090-00: LTL/CTL
CANConstruction-PT-090-02:

PENDING FORMULAS: CATEGORY
CANConstruction-PT-090-01:
CANConstruction-PT-090-03:
CANConstruction-PT-090-04:
CANConstruction-PT-090-05:
CANConstruction-PT-090-06:
CANConstruction-PT-090-07:
CANConstruction-PT-090-08:
CANConstruction-PT-090-09:
CANConstruction-PT-090-10:
CANConstruction-PT-090-11:
CANConstruction-PT-090-12:
CANConstruction-PT-090-13:
CANConstruction-PT-090-14:
CANConstruction-PT-090-15:

TASK CATEGORY TYPE
75 LTL SRCH 289/3380
76 LTL SRCH 288/3379

Time elapsed: 509 secs.
# running tasks:
/home/mcc/BenchKit/BenchKit_head.sh:
1-input.r289-tall-162124151900076.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off to be ready (probing ssh) ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ ================================================================= examination is LTLCardinality is 3600 seconds is 16384 MBytes is r289-tall-162124151900076 =========================================== directory to be used: 28K May 15 08:57 CTLCardinality.txt users 152K May 15 08:57 CTLCardinality.xml 17K May 15 08:57 CTLFireability.txt 88K May 15 08:57 CTLFireability.xml users 4.8K May 12 07:56 LTLCardinality.txt 28K May 12 07:56 LTLCardinality.xml users 2.7K May 12 07:56 LTLFireability.txt 17K May 12 07:56 LTLFireability.xml 1 May 12 08:13 NewModel users 4.3K May 11 18:20 ReachabilityCardinality.txt 19K May 11 18:20 ReachabilityCardinality.xml users 3.5K May 11 15:36 ReachabilityFireability.txt 18K May 11 15:36 ReachabilityFireability.xml users 1.6K May 12 04:39 UpperBounds.txt users 3.7K May 12 04:39 UpperBounds.xml 6 May 12 08:13 equiv_col 4 May 12 08:13 instance 6 May 12 08:13 iscolored 37M May 12 08:13 model.pnml analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) on-PT-090-00 on-PT-090-01 on-PT-090-02 on-PT-090-03 on-PT-090-04 on-PT-090-05 on-PT-090-06 on-PT-090-07 on-PT-090-08 on-PT-090-09 on-PT-090-10 on-PT-090-11 on-PT-090-12 on-PT-090-13 on-PT-090-14 on-PT-090-15 of the tool begins enchKit/bin /home/mcc/execution FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT file (--pnmlnet) from /home/mcc/execution/model.pnml contains place/transition net file /home/mcc/execution/model.pnml format (--xmlformula) from /home/mcc/execution/LTLCardinality.xml arser/formula_rewrite.k:98 arser/formula_rewrite.k:153 arser/formula_rewrite.k:122 arser/formula_rewrite.k:98 arser/formula_rewrite.k:153 arser/formula_rewrite.k:334 arser/formula_rewrite.k:278 arser/formula_rewrite.k:144 arser/formula_rewrite.k:162 arser/formula_rewrite.k:120 arser/formula_rewrite.k:115 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:314 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:334 arser/formula_rewrite.k:331 arser/formula_rewrite.k:299 arser/formula_rewrite.k:355 arser/formula_rewrite.k:352 arser/formula_rewrite.k:352 arser/formula_rewrite.k:376 arser/formula_rewrite.k:376 arser/formula_rewrite.k:328 arser/formula_rewrite.k:331 arser/formula_rewrite.k:317 arser/formula_rewrite.k:331 arser/formula_rewrite.k:299 arser/formula_rewrite.k:334 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:253 arser/formula_rewrite.k:253 arser/formula_rewrite.k:253 arser/formula_rewrite.k:317 arser/formula_rewrite.k:296 arser/formula_rewrite.k:317 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:317 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:314 arser/formula_rewrite.k:296 arser/formula_rewrite.k:331 arser/formula_rewrite.k:296 arser/formula_rewrite.k:535 arser/formula_rewrite.k:150 arser/formula_rewrite.k:535 arser/formula_rewrite.k:535 arser/formula_rewrite.k:314 arser/formula_rewrite.k:296 arser/formula_rewrite.k:328 arser/formula_rewrite.k:331 arser/formula_rewrite.k:296 arser/formula_rewrite.k:409 arser/formula_rewrite.k:409 arser/formula_rewrite.k:334 arser/formula_rewrite.k:337 arser/formula_rewrite.k:317 arser/formula_rewrite.k:299 arser/formula_rewrite.k:331 arser/formula_rewrite.k:328 arser/formula_rewrite.k:299 arser/formula_rewrite.k:334 arser/formula_rewrite.k:337 arser/formula_rewrite.k:296 arser/formula_rewrite.k:296 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:355 arser/formula_rewrite.k:334 arser/formula_rewrite.k:331 arser/formula_rewrite.k:299 arser/formula_rewrite.k:352 arser/formula_rewrite.k:349 arser/formula_rewrite.k:535 arser/formula_rewrite.k:518 arser/formula_rewrite.k:331 arser/formula_rewrite.k:317 arser/formula_rewrite.k:296 arser/formula_rewrite.k:317 arser/formula_rewrite.k:296 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:373 arser/formula_rewrite.k:314 arser/formula_rewrite.k:331 arser/formula_rewrite.k:314 arser/formula_rewrite.k:296 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:334 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:373 arser/formula_rewrite.k:346 arser/formula_rewrite.k:253 arser/formula_rewrite.k:518 arser/formula_rewrite.k:317 arser/formula_rewrite.k:296 arser/formula_rewrite.k:331 arser/formula_rewrite.k:317 arser/formula_rewrite.k:328 arser/formula_rewrite.k:314 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:337 arser/formula_rewrite.k:296 arser/formula_rewrite.k:296 arser/formula_rewrite.k:296 arser/formula_rewrite.k:544 arser/formula_rewrite.k:349 arser/formula_rewrite.k:544 arser/formula_rewrite.k:98 arser/formula_rewrite.k:334 arser/formula_rewrite.k:278 arser/formula_rewrite.k:144 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:184 arser/formula_rewrite.k:352 arser/formula_rewrite.k:334 arser/formula_rewrite.k:328 arser/formula_rewrite.k:299 arser/formula_rewrite.k:355 arser/formula_rewrite.k:98 arser/formula_rewrite.k:409 arser/formula_rewrite.k:98 arser/formula_rewrite.k:314 arser/formula_rewrite.k:296 arser/formula_rewrite.k:334 arser/formula_rewrite.k:296 arser/formula_rewrite.k:168 arser/formula_rewrite.k:346 arser/formula_rewrite.k:421 arser/formula_rewrite.k:346 arser/formula_rewrite.k:421 arser/formula_rewrite.k:328 arser/formula_rewrite.k:296 arser/formula_rewrite.k:328 arser/formula_rewrite.k:314 arser/formula_rewrite.k:331 arser/formula_rewrite.k:296 arser/formula_rewrite.k:331 arser/formula_rewrite.k:299 arser/formula_rewrite.k:98 arser/formula_rewrite.k:409 arser/formula_rewrite.k:168 arser/formula_rewrite.k:334 arser/formula_rewrite.k:334 arser/formula_rewrite.k:331 arser/formula_rewrite.k:296 arser/formula_rewrite.k:314 arser/formula_rewrite.k:296 arser/formula_rewrite.k:334 arser/formula_rewrite.k:334 arser/formula_rewrite.k:328 arser/formula_rewrite.k:299 arser/formula_rewrite.k:352 in 0.000000 secs. # 72 (type SKEL/SRCH) for 0 CANConstruction-PT-090-00 : 32000000 sec task # 72 (type SKEL/SRCH) for CANConstruction-PT-090-00 : false 36 36 : 0.000000 1 in 0.000000 secs. in 0.000000 secs. # 73 (type SKEL/SRCH) for 6 CANConstruction-PT-090-02 : 32000000 sec task # 73 (type SKEL/SRCH) for CANConstruction-PT-090-02 : true 4 3 : 0.000000 1 in 0.000000 secs. transitions removed,0 places removed VALUE PRODUCED BY false skeleton: LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 0 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 0 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 2 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 CONJ 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 LTL 0 0 0 0 0 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS Pages in use: 1 0 of 4 Visible: 16 in 0.000000 secs. # 74 (type SKEL/SRCH) for 6 CANConstruction-PT-090-02 : 32000000 sec task # 74 (type SKEL/SRCH) for CANConstruction-PT-090-02 : true 1 : 0.000000 1 in 0.000000 secs. in 0.000000 secs. # 9 (type CNST) for 6 CANConstruction-PT-090-02 task # 9 (type CNST) for CANConstruction-PT-090-02 : false in 0.000000 secs. in 0.000000 secs. # 75 (type SKEL/SRCH) for 24 CANConstruction-PT-090-04 : 32000000 sec in 1.000000 secs. # 76 (type SKEL/SRCH) for 34 CANConstruction-PT-090-06 : 32000000 sec in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. arser/formula_rewrite.k:721 arser/formula_rewrite.k:788 arser/formula_rewrite.k:721 arser/formula_rewrite.k:788 arser/formula_rewrite.k:721 arser/formula_rewrite.k:788 # 79 (type SKEL/FNDP) for 40 CANConstruction-PT-090-08 : 32000000 sec # 80 (type SKEL/EQUN) for 40 CANConstruction-PT-090-08 : 32000000 sec arser/formula_rewrite.k:721 arser/formula_rewrite.k:788 arser/formula_rewrite.k:721 arser/formula_rewrite.k:788 arser/formula_rewrite.k:721 arser/formula_rewrite.k:788 arser/formula_rewrite.k:721 arser/formula_rewrite.k:788 problem file /home/mcc/execution/LTLCardinality-80.sara. task # 80 (type SKEL/EQUN) for CANConstruction-PT-090-08 : false task # 79 (type FNDP) for CANConstruction-PT-090-08 (obsolete) # 85 (type SKEL/FNDP) for 40 CANConstruction-PT-090-08 : 32000000 sec # 86 (type SKEL/EQUN) for 40 CANConstruction-PT-090-08 : 32000000 sec task # 79 (type SKEL/FNDP) for CANConstruction-PT-090-08 : unknown 126444 9379 : 0.000000 0 arser/formula_rewrite.k:721 arser/formula_rewrite.k:788 problem file /home/mcc/execution/LTLCardinality-86.sara. ordering is non-deterministic task # 86 (type SKEL/EQUN) for CANConstruction-PT-090-08 : false task # 85 (type FNDP) for CANConstruction-PT-090-08 (obsolete) task # 85 (type SKEL/FNDP) for CANConstruction-PT-090-08 : unknown 47981 1140 : 0.000000 0 in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. in 0.000000 secs. # 89 (type SKEL/SRCH) for 63 CANConstruction-PT-090-13 : 32000000 sec task # 89 (type SKEL/SRCH) for CANConstruction-PT-090-13 : false 848 857 : 0.000000 1 for (null) stopped (result already fixed). for (null) stopped (result already fixed). for (null) stopped (result already fixed). for (null) stopped (result already fixed). for CANConstruction-PT-090-00 stopped (result already fixed). for (null) stopped (result already fixed). in 0.000000 secs. in 1.000000 secs. VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 126885 m, 25377 m/sec, 775403 t fired, . 1/5 CANConstruction-PT-090-06 190611 m, 38122 m/sec, 706262 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 232628 m, 21148 m/sec, 1312429 t fired, . 1/5 CANConstruction-PT-090-06 270927 m, 16063 m/sec, 1243046 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 276854 m, 8845 m/sec, 1809146 t fired, . 1/5 CANConstruction-PT-090-06 393150 m, 24444 m/sec, 1802239 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 367151 m, 18059 m/sec, 2332496 t fired, . 1/5 CANConstruction-PT-090-06 489060 m, 19182 m/sec, 2324644 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 416650 m, 9899 m/sec, 2832236 t fired, . 1/5 CANConstruction-PT-090-06 571133 m, 16414 m/sec, 2851866 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 501831 m, 17036 m/sec, 3350411 t fired, . 1/5 CANConstruction-PT-090-06 580040 m, 1781 m/sec, 3318692 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 574975 m, 14628 m/sec, 3855638 t fired, . 1/5 CANConstruction-PT-090-06 647813 m, 13554 m/sec, 3900090 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 619192 m, 8843 m/sec, 4378325 t fired, . 1/5 CANConstruction-PT-090-06 723557 m, 15148 m/sec, 4416401 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 677642 m, 11690 m/sec, 4912447 t fired, . 1/5 CANConstruction-PT-090-06 835035 m, 22295 m/sec, 4954180 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 760888 m, 16649 m/sec, 5504921 t fired, . 1/5 CANConstruction-PT-090-06 919890 m, 16971 m/sec, 5482433 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 854146 m, 18651 m/sec, 5987377 t fired, . 1/5 CANConstruction-PT-090-06 985177 m, 13057 m/sec, 5961279 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 945339 m, 18238 m/sec, 6449759 t fired, . 1/5 CANConstruction-PT-090-06 1012863 m, 5537 m/sec, 6396827 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1027937 m, 16519 m/sec, 6910645 t fired, . 1/5 CANConstruction-PT-090-06 1033418 m, 4111 m/sec, 6914878 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1104115 m, 15235 m/sec, 7368782 t fired, . 1/5 CANConstruction-PT-090-06 1139805 m, 21277 m/sec, 7436939 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1177989 m, 14774 m/sec, 7833172 t fired, . 1/5 CANConstruction-PT-090-06 1178888 m, 7816 m/sec, 7928516 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1247440 m, 13890 m/sec, 8302006 t fired, . 1/5 CANConstruction-PT-090-06 1263796 m, 16981 m/sec, 8407361 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1316271 m, 13766 m/sec, 8784338 t fired, . 1/5 CANConstruction-PT-090-06 1336533 m, 14547 m/sec, 8901897 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1383016 m, 13349 m/sec, 9278501 t fired, . 1/5 CANConstruction-PT-090-06 1404754 m, 13644 m/sec, 9395390 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1403597 m, 4116 m/sec, 9727336 t fired, . 1/5 CANConstruction-PT-090-06 1460882 m, 11225 m/sec, 9861467 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1403795 m, 39 m/sec, 10148214 t fired, . 1/5 CANConstruction-PT-090-06 1515243 m, 10872 m/sec, 10302795 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1403832 m, 7 m/sec, 10579725 t fired, . 1/5 CANConstruction-PT-090-06 1650284 m, 27008 m/sec, 10799764 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1446504 m, 8534 m/sec, 11068470 t fired, . 1/5 CANConstruction-PT-090-06 1762651 m, 22473 m/sec, 11276012 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1547556 m, 20210 m/sec, 11594979 t fired, . 1/5 CANConstruction-PT-090-06 1859757 m, 19421 m/sec, 11721344 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1631538 m, 16796 m/sec, 12069373 t fired, . 1/5 CANConstruction-PT-090-06 1954694 m, 18987 m/sec, 12185088 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1699993 m, 13691 m/sec, 12505172 t fired, . 1/5 CANConstruction-PT-090-06 2035454 m, 16152 m/sec, 12609245 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1765341 m, 13069 m/sec, 12965154 t fired, . 1/5 CANConstruction-PT-090-06 2119186 m, 16746 m/sec, 13067319 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1803512 m, 7634 m/sec, 13443010 t fired, . 1/5 CANConstruction-PT-090-06 2197578 m, 15678 m/sec, 13531099 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1803642 m, 26 m/sec, 13847697 t fired, . 1/5 CANConstruction-PT-090-06 2276478 m, 15780 m/sec, 14021151 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1823241 m, 3919 m/sec, 14311744 t fired, . 1/5 CANConstruction-PT-090-06 2346249 m, 13954 m/sec, 14476341 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1907931 m, 16938 m/sec, 14865343 t fired, . 1/5 CANConstruction-PT-090-06 2414796 m, 13709 m/sec, 14938889 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 1986252 m, 15664 m/sec, 15360361 t fired, . 1/5 CANConstruction-PT-090-06 2479464 m, 12933 m/sec, 15378995 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2015565 m, 5862 m/sec, 15821462 t fired, . 1/5 CANConstruction-PT-090-06 2547928 m, 13692 m/sec, 15843001 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2098409 m, 16568 m/sec, 16352742 t fired, . 1/5 CANConstruction-PT-090-06 2616134 m, 13641 m/sec, 16316625 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2149901 m, 10298 m/sec, 16879112 t fired, . 1/5 CANConstruction-PT-090-06 2681652 m, 13103 m/sec, 16769049 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2211855 m, 12390 m/sec, 17412171 t fired, . 1/5 CANConstruction-PT-090-06 2750122 m, 13694 m/sec, 17248326 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2297213 m, 17071 m/sec, 17867420 t fired, . 1/5 CANConstruction-PT-090-06 2815517 m, 13079 m/sec, 17706467 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2373532 m, 15263 m/sec, 18322441 t fired, . 1/5 CANConstruction-PT-090-06 2879108 m, 12718 m/sec, 18146203 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2446231 m, 14539 m/sec, 18782845 t fired, . 1/5 CANConstruction-PT-090-06 2882829 m, 744 m/sec, 18527861 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2510448 m, 12843 m/sec, 19217918 t fired, . 1/5 CANConstruction-PT-090-06 2884189 m, 272 m/sec, 18905768 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2567966 m, 11503 m/sec, 19628756 t fired, . 1/5 CANConstruction-PT-090-06 2884884 m, 139 m/sec, 19294801 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2629286 m, 12264 m/sec, 20076542 t fired, . 1/5 CANConstruction-PT-090-06 2885316 m, 86 m/sec, 19699340 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2689035 m, 11949 m/sec, 20538215 t fired, . 1/5 CANConstruction-PT-090-06 2885556 m, 48 m/sec, 20111207 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2744834 m, 11159 m/sec, 20981359 t fired, . 1/5 CANConstruction-PT-090-06 2885759 m, 40 m/sec, 20537833 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2800479 m, 11129 m/sec, 21442440 t fired, . 1/5 CANConstruction-PT-090-06 2885916 m, 31 m/sec, 20967257 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2835776 m, 7059 m/sec, 21897219 t fired, . 1/5 CANConstruction-PT-090-06 2886012 m, 19 m/sec, 21390014 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2836137 m, 72 m/sec, 22323851 t fired, . 1/5 CANConstruction-PT-090-06 2899068 m, 2611 m/sec, 21850611 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2836194 m, 11 m/sec, 22738712 t fired, . 1/5 CANConstruction-PT-090-06 2981671 m, 16520 m/sec, 22410573 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2836214 m, 4 m/sec, 23132242 t fired, . 1/5 CANConstruction-PT-090-06 3067389 m, 17143 m/sec, 22934637 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 2893655 m, 11488 m/sec, 23650689 t fired, . 1/5 CANConstruction-PT-090-06 3173223 m, 21166 m/sec, 23450904 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 3090780 m, 39425 m/sec, 24846309 t fired, . 1/5 CANConstruction-PT-090-06 3318863 m, 29128 m/sec, 24736440 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 3235871 m, 29018 m/sec, 26171940 t fired, . 1/5 CANConstruction-PT-090-06 3476848 m, 31597 m/sec, 26124388 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 3413976 m, 35621 m/sec, 28011671 t fired, . 1/5 CANConstruction-PT-090-06 3571593 m, 18949 m/sec, 27158757 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 3563660 m, 29936 m/sec, 29355928 t fired, . 1/5 CANConstruction-PT-090-06 3739751 m, 33631 m/sec, 28425157 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 3771291 m, 41526 m/sec, 30720360 t fired, . 1/5 CANConstruction-PT-090-06 3968019 m, 45653 m/sec, 29722870 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 4006997 m, 47141 m/sec, 31942702 t fired, . 1/5 CANConstruction-PT-090-06 4213123 m, 49020 m/sec, 30945274 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 4254189 m, 49438 m/sec, 33339028 t fired, . 1/5 CANConstruction-PT-090-06 4425552 m, 42485 m/sec, 32205132 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 4492529 m, 47668 m/sec, 34771387 t fired, . 1/5 CANConstruction-PT-090-06 4596198 m, 34129 m/sec, 33358244 t fired, . Pages in use: 3 2 of 4 Visible: 16 VALUE PRODUCED BY false skeleton: LTL model checker CONJ false preprocessing IDL ACT RUN SUS FIN C/T C/M OBS LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 1 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 1 0 0 0 0 0 LTL 0 0 0 0 1 0 0 0 CONJ 0 0 0 0 7 0 0 4 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 LTL 0 0 0 0 1 0 0 0 TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS 1/5 CANConstruction-PT-090-04 4716194 m, 44733 m/sec, 36187939 t fired, . 1/5 CANConstruction-PT-090-06 4765593 m, 33879 m/sec, 34598170 t fired, . Pages in use: 3 2 of 4 Visible: 16 line 62: 410 Killed lola --conf=$BIN_DIR/configfiles/ltlcardinalityconf --formula=$DIR/LTLCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml

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="CANConstruction-PT-090"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lola"
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-4028"
echo " Executing tool lola"
echo " Input is CANConstruction-PT-090, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r289-tall-162124151900076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CANConstruction-PT-090.tgz
mv CANConstruction-PT-090 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;