Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r186-oct2-158987939200572.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is SharedMemory-PT-000050, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r186-oct2-158987939200572
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 518K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.3M Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 385K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.2M Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 28K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 769K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.3M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 114K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 296K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 434K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 56K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 113K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 7 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 4.0M Apr 27 15:14 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1591251592532

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 06:19:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 06:19:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 06:19:55] [INFO ] Load time of PNML (sax parser for PT used): 240 ms
[2020-06-04 06:19:55] [INFO ] Transformed 2651 places.
[2020-06-04 06:19:55] [INFO ] Transformed 5050 transitions.
[2020-06-04 06:19:55] [INFO ] Found NUPN structural information;
[2020-06-04 06:19:55] [INFO ] Parsed PT model containing 2651 places and 5050 transitions in 296 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 162 ms.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 6466 ms. (steps per millisecond=15 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1]
// Phase 1: matrix 5050 rows 2651 cols
[2020-06-04 06:20:02] [INFO ] Computed 101 place invariants in 354 ms
[2020-06-04 06:20:02] [INFO ] [Real]Absence check using 101 positive place invariants in 172 ms returned unsat
[2020-06-04 06:20:03] [INFO ] [Real]Absence check using 101 positive place invariants in 127 ms returned unsat
Successfully simplified 2 atomic propositions for a total of 2 simplifications.
[2020-06-04 06:20:04] [INFO ] Flatten gal took : 978 ms
[2020-06-04 06:20:05] [INFO ] Flatten gal took : 333 ms
[2020-06-04 06:20:05] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 103 ms.
[2020-06-04 06:20:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 34 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ SharedMemory-PT-000050 @ 3570 seconds
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ SharedMemory-PT-000050

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Jun 4 06:20:05 2020
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"memory": 5039148,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"net":
{
"arcs": 20000,
"conflict_clusters": 2501,
"places": 2651,
"places_significant": 2550,
"singleton_clusters": 0,
"transitions": 5050
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 7701/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 2651
lola: finding significant places
lola: 2651 places, 5050 transitions, 2550 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always true: (p846 <= 1)
lola: LP says that atomic proposition is always true: (p1106 <= 1)
lola: LP says that atomic proposition is always true: (p1366 <= 1)
lola: LP says that atomic proposition is always true: (p1886 <= 1)
lola: LP says that atomic proposition is always true: (p1626 <= 1)
lola: LP says that atomic proposition is always true: (p66 <= 1)
lola: LP says that atomic proposition is always true: (p326 <= 1)
lola: LP says that atomic proposition is always true: (p586 <= 1)
lola: LP says that atomic proposition is always true: (p1025 <= 1)
lola: LP says that atomic proposition is always true: (p2065 <= 1)
lola: LP says that atomic proposition is always true: (p147 <= 1)
lola: LP says that atomic proposition is always true: (p407 <= 1)
lola: LP says that atomic proposition is always true: (p927 <= 1)
lola: LP says that atomic proposition is always true: (p667 <= 1)
lola: LP says that atomic proposition is always true: (p2227 <= 1)
lola: LP says that atomic proposition is always true: (p2487 <= 1)
lola: LP says that atomic proposition is always true: (p1285 <= 1)
lola: LP says that atomic proposition is always true: (p1805 <= 1)
lola: LP says that atomic proposition is always true: (p1984 <= 1)
lola: LP says that atomic proposition is always true: (p1545 <= 1)
lola: LP says that atomic proposition is always true: (p2244 <= 1)
lola: LP says that atomic proposition is always true: (p1788 <= 1)
lola: LP says that atomic proposition is always true: (p228 <= 1)
lola: LP says that atomic proposition is always true: (p748 <= 1)
lola: LP says that atomic proposition is always true: (p1268 <= 1)
lola: LP says that atomic proposition is always true: (p2504 <= 1)
lola: LP says that atomic proposition is always true: (p1528 <= 1)
lola: LP says that atomic proposition is always true: (p488 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p309 <= 1)
lola: LP says that atomic proposition is always true: (p569 <= 1)
lola: LP says that atomic proposition is always true: (p829 <= 1)
lola: LP says that atomic proposition is always true: (p1187 <= 1)
lola: LP says that atomic proposition is always true: (p1707 <= 1)
lola: LP says that atomic proposition is always true: (p1447 <= 1)
lola: LP says that atomic proposition is always true: (p1967 <= 1)
lola: LP says that atomic proposition is always true: (p2325 <= 1)
lola: LP says that atomic proposition is always true: (p2146 <= 1)
lola: LP says that atomic proposition is always true: (p1008 <= 1)
lola: LP says that atomic proposition is always true: (p130 <= 1)
lola: LP says that atomic proposition is always true: (p390 <= 1)
lola: LP says that atomic proposition is always true: (p650 <= 1)
lola: LP says that atomic proposition is always true: (p2470 <= 1)
lola: LP says that atomic proposition is always true: (p2210 <= 1)
lola: LP says that atomic proposition is always true: (p910 <= 1)
lola: LP says that atomic proposition is always true: (p1170 <= 1)
lola: LP says that atomic proposition is always true: (p1690 <= 1)
lola: LP says that atomic proposition is always true: (p1430 <= 1)
lola: LP says that atomic proposition is always true: (p1950 <= 1)
lola: LP says that atomic proposition is always true: (p2129 <= 1)
lola: LP says that atomic proposition is always true: (p471 <= 1)
lola: LP says that atomic proposition is always true: (p211 <= 1)
lola: LP says that atomic proposition is always true: (p731 <= 1)
lola: LP says that atomic proposition is always true: (p991 <= 1)
lola: LP says that atomic proposition is always true: (p1089 <= 1)
lola: LP says that atomic proposition is always true: (p1349 <= 1)
lola: LP says that atomic proposition is always true: (p1609 <= 1)
lola: LP says that atomic proposition is always true: (p2291 <= 1)
lola: LP says that atomic proposition is always true: (p2551 <= 1)
lola: LP says that atomic proposition is always true: (p1869 <= 1)
lola: LP says that atomic proposition is always true: (p2048 <= 1)
lola: LP says that atomic proposition is always true: (p292 <= 1)
lola: LP says that atomic proposition is always true: (p32 <= 1)
lola: LP says that atomic proposition is always true: (p1072 <= 1)
lola: LP says that atomic proposition is always true: (p1332 <= 1)
lola: LP says that atomic proposition is always true: (p812 <= 1)
lola: LP says that atomic proposition is always true: (p552 <= 1)
lola: LP says that atomic proposition is always true: (p2308 <= 1)
lola: LP says that atomic proposition is always true: (p1852 <= 1)
lola: LP says that atomic proposition is always true: (p1592 <= 1)
lola: LP says that atomic proposition is always true: (p373 <= 1)
lola: LP says that atomic proposition is always true: (p633 <= 1)
lola: LP says that atomic proposition is always true: (p893 <= 1)
lola: LP says that atomic proposition is always true: (p1251 <= 1)
lola: LP says that atomic proposition is always true: (p2031 <= 1)
lola: LP says that atomic proposition is always true: (p1511 <= 1)
lola: LP says that atomic proposition is always true: (p1771 <= 1)
lola: LP says that atomic proposition is always true: (p113 <= 1)
lola: LP says that atomic proposition is always true: (p714 <= 1)
lola: LP says that atomic proposition is always true: (p1234 <= 1)
lola: LP says that atomic proposition is always true: (p974 <= 1)
lola: LP says that atomic proposition is always true: (p1494 <= 1)
lola: LP says that atomic proposition is always true: (p1754 <= 1)
lola: LP says that atomic proposition is always true: (p2014 <= 1)
lola: LP says that atomic proposition is always true: (p194 <= 1)
lola: LP says that atomic proposition is always true: (p454 <= 1)
lola: LP says that atomic proposition is always true: (p2534 <= 1)
lola: LP says that atomic proposition is always true: (p2274 <= 1)
lola: LP says that atomic proposition is always true: (p15 <= 1)
lola: LP says that atomic proposition is always true: (p1055 <= 1)
lola: LP says that atomic proposition is always true: (p1153 <= 1)
lola: LP says that atomic proposition is always true: (p1673 <= 1)
lola: LP says that atomic proposition is always true: (p1413 <= 1)
lola: LP says that atomic proposition is always true: (p1933 <= 1)
lola: LP says that atomic proposition is always true: (p275 <= 1)
lola: LP says that atomic proposition is always true: (p795 <= 1)
lola: LP says that atomic proposition is always true: (p535 <= 1)
lola: LP says that atomic proposition is always true: (p2112 <= 1)
lola: LP says that atomic proposition is always true: (p1396 <= 1)
lola: LP says that atomic proposition is always true: (p1916 <= 1)
lola: LP says that atomic proposition is always true: (p1656 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p356 <= 1)
lola: LP says that atomic proposition is always true: (p616 <= 1)
lola: LP says that atomic proposition is always true: (p876 <= 1)
lola: LP says that atomic proposition is always true: (p1136 <= 1)
lola: LP says that atomic proposition is always true: (p1315 <= 1)
lola: LP says that atomic proposition is always true: (p1835 <= 1)
lola: LP says that atomic proposition is always true: (p1575 <= 1)
lola: LP says that atomic proposition is always true: (p2095 <= 1)
lola: LP says that atomic proposition is always true: (p2453 <= 1)
lola: LP says that atomic proposition is always true: (p2193 <= 1)
lola: LP says that atomic proposition is always true: (p177 <= 1)
lola: LP says that atomic proposition is always true: (p437 <= 1)
lola: LP says that atomic proposition is always true: (p697 <= 1)
lola: LP says that atomic proposition is always true: (p957 <= 1)
lola: LP says that atomic proposition is always true: (p2078 <= 1)
lola: LP says that atomic proposition is always true: (p778 <= 1)
lola: LP says that atomic proposition is always true: (p1038 <= 1)
lola: LP says that atomic proposition is always true: (p1298 <= 1)
lola: LP says that atomic proposition is always true: (p1818 <= 1)
lola: LP says that atomic proposition is always true: (p1558 <= 1)
lola: LP says that atomic proposition is always true: (p258 <= 1)
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p518 <= 1)
lola: LP says that atomic proposition is always true: (p1119 <= 1)
lola: LP says that atomic proposition is always true: (p2159 <= 1)
lola: LP says that atomic proposition is always true: (p1737 <= 1)
lola: LP says that atomic proposition is always true: (p1997 <= 1)
lola: LP says that atomic proposition is always true: (p1217 <= 1)
lola: LP says that atomic proposition is always true: (p1477 <= 1)
lola: LP says that atomic proposition is always true: (p339 <= 1)
lola: LP says that atomic proposition is always true: (p859 <= 1)
lola: LP says that atomic proposition is always true: (p599 <= 1)
lola: LP says that atomic proposition is always true: (p2436 <= 1)
lola: LP says that atomic proposition is always true: (p2176 <= 1)
lola: LP says that atomic proposition is always true: (p1720 <= 1)
lola: LP says that atomic proposition is always true: (p1460 <= 1)
lola: LP says that atomic proposition is always true: (p1980 <= 1)
lola: LP says that atomic proposition is always true: (p160 <= 1)
lola: LP says that atomic proposition is always true: (p680 <= 1)
lola: LP says that atomic proposition is always true: (p420 <= 1)
lola: LP says that atomic proposition is always true: (p940 <= 1)
lola: LP says that atomic proposition is always true: (p1200 <= 1)
lola: LP says that atomic proposition is always true: (p2517 <= 1)
lola: LP says that atomic proposition is always true: (p2257 <= 1)
lola: LP says that atomic proposition is always true: (p501 <= 1)
lola: LP says that atomic proposition is always true: (p761 <= 1)
lola: LP says that atomic proposition is always true: (p1021 <= 1)
lola: LP says that atomic proposition is always true: (p241 <= 1)
lola: LP says that atomic proposition is always true: (p1379 <= 1)
lola: LP says that atomic proposition is always true: (p1899 <= 1)
lola: LP says that atomic proposition is always true: (p62 <= 1)
lola: LP says that atomic proposition is always true: (p1639 <= 1)
lola: LP says that atomic proposition is always true: (p2142 <= 1)
lola: LP says that atomic proposition is always true: (p842 <= 1)
lola: LP says that atomic proposition is always true: (p1362 <= 1)
lola: LP says that atomic proposition is always true: (p1882 <= 1)
lola: LP says that atomic proposition is always true: (p322 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p1183 <= 1)
lola: LP says that atomic proposition is always true: (p1622 <= 1)
lola: LP says that atomic proposition is always true: (p2223 <= 1)
lola: LP says that atomic proposition is always true: (p582 <= 1)
lola: LP says that atomic proposition is always true: (p1281 <= 1)
lola: LP says that atomic proposition is always true: (p1541 <= 1)
lola: LP says that atomic proposition is always true: (p1801 <= 1)
lola: LP says that atomic proposition is always true: (p2061 <= 1)
lola: LP says that atomic proposition is always true: (p403 <= 1)
lola: LP says that atomic proposition is always true: (p923 <= 1)
lola: LP says that atomic proposition is always true: (p2483 <= 1)
lola: LP says that atomic proposition is always true: (p663 <= 1)
lola: LP says that atomic proposition is always true: (p1102 <= 1)
lola: LP says that atomic proposition is always true: (p2500 <= 1)
lola: LP says that atomic proposition is always true: (p2240 <= 1)
lola: LP says that atomic proposition is always true: (p2044 <= 1)
lola: LP says that atomic proposition is always true: (p1524 <= 1)
lola: LP says that atomic proposition is always true: (p1784 <= 1)
lola: LP says that atomic proposition is always true: (p224 <= 1)
lola: LP says that atomic proposition is always true: (p484 <= 1)
lola: LP says that atomic proposition is always true: (p744 <= 1)
lola: LP says that atomic proposition is always true: (p1004 <= 1)
lola: LP says that atomic proposition is always true: (p1264 <= 1)
lola: LP says that atomic proposition is always true: (p45 <= 1)
lola: LP says that atomic proposition is always true: (p1085 <= 1)
lola: LP says that atomic proposition is always true: (p305 <= 1)
lola: LP says that atomic proposition is always true: (p825 <= 1)
lola: LP says that atomic proposition is always true: (p1443 <= 1)
lola: LP says that atomic proposition is always true: (p1963 <= 1)
lola: LP says that atomic proposition is always true: (p126 <= 1)
lola: LP says that atomic proposition is always true: (p565 <= 1)
lola: LP says that atomic proposition is always true: (p1703 <= 1)
lola: LP says that atomic proposition is always true: (p386 <= 1)
lola: LP says that atomic proposition is always true: (p2466 <= 1)
lola: LP says that atomic proposition is always true: (p906 <= 1)
lola: LP says that atomic proposition is always true: (p1426 <= 1)
lola: LP says that atomic proposition is always true: (p1946 <= 1)
lola: LP says that atomic proposition is always true: (p207 <= 1)
lola: LP says that atomic proposition is always true: (p1247 <= 1)
lola: LP says that atomic proposition is always true: (p2287 <= 1)
lola: LP says that atomic proposition is always true: (p646 <= 1)
lola: LP says that atomic proposition is always true: (p1686 <= 1)
lola: LP says that atomic proposition is always true: (p1865 <= 1)
lola: LP says that atomic proposition is always true: (p2125 <= 1)
lola: LP says that atomic proposition is always true: (p467 <= 1)
lola: LP says that atomic proposition is always true: (p987 <= 1)
lola: LP says that atomic proposition is always true: (p1345 <= 1)
lola: LP says that atomic proposition is always true: (p2547 <= 1)
lola: LP says that atomic proposition is always true: (p28 <= 1)
lola: LP says that atomic proposition is always true: (p727 <= 1)
lola: LP says that atomic proposition is always true: (p1605 <= 1)
lola: LP says that atomic proposition is always true: (p1166 <= 1)
lola: LP says that atomic proposition is always true: (p2304 <= 1)
lola: LP says that atomic proposition is always true: (p1328 <= 1)
lola: LP says that atomic proposition is always true: (p1848 <= 1)
lola: LP says that atomic proposition is always true: (p1588 <= 1)
lola: LP says that atomic proposition is always true: (p2108 <= 1)
lola: LP says that atomic proposition is always true: (p288 <= 1)
lola: LP says that atomic proposition is always true: (p808 <= 1)
lola: LP says that atomic proposition is always true: (p548 <= 1)
lola: LP says that atomic proposition is always true: (p1149 <= 1)
lola: LP says that atomic proposition is always true: (p109 <= 1)
lola: LP says that atomic proposition is always true: (p369 <= 1)
lola: LP says that atomic proposition is always true: (p889 <= 1)
lola: LP says that atomic proposition is always true: (p2027 <= 1)
lola: LP says that atomic proposition is always true: (p1507 <= 1)
lola: LP says that atomic proposition is always true: (p629 <= 1)
lola: LP says that atomic proposition is always true: (p1068 <= 1)
lola: LP says that atomic proposition is always true: (p190 <= 1)
lola: LP says that atomic proposition is always true: (p1767 <= 1)
lola: LP says that atomic proposition is always true: (p2206 <= 1)
lola: LP says that atomic proposition is always true: (p970 <= 1)
lola: LP says that atomic proposition is always true: (p1490 <= 1)
lola: LP says that atomic proposition is always true: (p450 <= 1)
lola: LP says that atomic proposition is always true: (p2530 <= 1)
lola: LP says that atomic proposition is always true: (p2010 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p271 <= 1)
lola: LP says that atomic proposition is always true: (p710 <= 1)
lola: LP says that atomic proposition is always true: (p1311 <= 1)
lola: LP says that atomic proposition is always true: (p1750 <= 1)
lola: LP says that atomic proposition is always true: (p1051 <= 1)
lola: LP says that atomic proposition is always true: (p1409 <= 1)
lola: LP says that atomic proposition is always true: (p1929 <= 1)
lola: LP says that atomic proposition is always true: (p531 <= 1)
lola: LP says that atomic proposition is always true: (p791 <= 1)
lola: LP says that atomic proposition is always true: (p1230 <= 1)
lola: LP says that atomic proposition is always true: (p2172 <= 1)
lola: LP says that atomic proposition is always true: (p92 <= 1)
lola: LP says that atomic proposition is always true: (p1669 <= 1)
lola: LP says that atomic proposition is always true: (p1392 <= 1)
lola: LP says that atomic proposition is always true: (p1912 <= 1)
lola: LP says that atomic proposition is always true: (p352 <= 1)
lola: LP says that atomic proposition is always true: (p872 <= 1)
lola: LP says that atomic proposition is always true: (p1652 <= 1)
lola: LP says that atomic proposition is always true: (p612 <= 1)
lola: LP says that atomic proposition is always true: (p2189 <= 1)
lola: LP says that atomic proposition is always true: (p173 <= 1)
lola: LP says that atomic proposition is always true: (p1213 <= 1)
lola: LP says that atomic proposition is always true: (p1571 <= 1)
lola: LP says that atomic proposition is always true: (p2091 <= 1)
lola: LP says that atomic proposition is always true: (p2449 <= 1)
lola: LP says that atomic proposition is always true: (p433 <= 1)
lola: LP says that atomic proposition is always true: (p953 <= 1)
lola: LP says that atomic proposition is always true: (p254 <= 1)
lola: LP says that atomic proposition is always true: (p1831 <= 1)
lola: LP says that atomic proposition is always true: (p1132 <= 1)
lola: LP says that atomic proposition is always true: (p693 <= 1)
lola: LP says that atomic proposition is always true: (p2270 <= 1)
lola: LP says that atomic proposition is always true: (p2074 <= 1)
lola: LP says that atomic proposition is always true: (p1034 <= 1)
lola: LP says that atomic proposition is always true: (p1554 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p335 <= 1)
lola: LP says that atomic proposition is always true: (p514 <= 1)
lola: LP says that atomic proposition is always true: (p1115 <= 1)
lola: LP says that atomic proposition is always true: (p1375 <= 1)
lola: LP says that atomic proposition is always true: (p2155 <= 1)
lola: LP says that atomic proposition is always true: (p774 <= 1)
lola: LP says that atomic proposition is always true: (p1814 <= 1)
lola: LP says that atomic proposition is always true: (p1993 <= 1)
lola: LP says that atomic proposition is always true: (p1473 <= 1)
lola: LP says that atomic proposition is always true: (p595 <= 1)
lola: LP says that atomic proposition is always true: (p855 <= 1)
lola: LP says that atomic proposition is always true: (p1733 <= 1)
lola: LP says that atomic proposition is always true: (p1294 <= 1)
lola: LP says that atomic proposition is always true: (p2236 <= 1)
lola: LP says that atomic proposition is always true: (p156 <= 1)
lola: LP says that atomic proposition is always true: (p2432 <= 1)
lola: LP says that atomic proposition is always true: (p1456 <= 1)
lola: LP says that atomic proposition is always true: (p1976 <= 1)
lola: LP says that atomic proposition is always true: (p416 <= 1)
lola: LP says that atomic proposition is always true: (p936 <= 1)
lola: LP says that atomic proposition is always true: (p2253 <= 1)
lola: LP says that atomic proposition is always true: (p1716 <= 1)
lola: LP says that atomic proposition is always true: (p237 <= 1)
lola: LP says that atomic proposition is always true: (p676 <= 1)
lola: LP says that atomic proposition is always true: (p1277 <= 1)
lola: LP says that atomic proposition is always true: (p2513 <= 1)
lola: LP says that atomic proposition is always true: (p497 <= 1)
lola: LP says that atomic proposition is always true: (p1017 <= 1)
lola: LP says that atomic proposition is always true: (p58 <= 1)
lola: LP says that atomic proposition is always true: (p318 <= 1)
lola: LP says that atomic proposition is always true: (p1895 <= 1)
lola: LP says that atomic proposition is always true: (p1635 <= 1)
lola: LP says that atomic proposition is always true: (p757 <= 1)
lola: LP says that atomic proposition is always true: (p1196 <= 1)
lola: LP says that atomic proposition is always true: (p2138 <= 1)
lola: LP says that atomic proposition is always true: (p139 <= 1)
lola: LP says that atomic proposition is always true: (p399 <= 1)
lola: LP says that atomic proposition is always true: (p578 <= 1)
lola: LP says that atomic proposition is always true: (p838 <= 1)
lola: LP says that atomic proposition is always true: (p1179 <= 1)
lola: LP says that atomic proposition is always true: (p1878 <= 1)
lola: LP says that atomic proposition is always true: (p1439 <= 1)
lola: LP says that atomic proposition is always true: (p1618 <= 1)
lola: LP says that atomic proposition is always true: (p2219 <= 1)
lola: LP says that atomic proposition is always true: (p2479 <= 1)
lola: LP says that atomic proposition is always true: (p1537 <= 1)
lola: LP says that atomic proposition is always true: (p2057 <= 1)
lola: LP says that atomic proposition is always true: (p659 <= 1)
lola: LP says that atomic proposition is always true: (p1098 <= 1)
lola: LP says that atomic proposition is always true: (p919 <= 1)
lola: LP says that atomic proposition is always true: (p1358 <= 1)
lola: LP says that atomic proposition is always true: (p2300 <= 1)
lola: LP says that atomic proposition is always true: (p220 <= 1)
lola: LP says that atomic proposition is always true: (p1797 <= 1)
lola: LP says that atomic proposition is always true: (p2496 <= 1)
lola: LP says that atomic proposition is always true: (p1520 <= 1)
lola: LP says that atomic proposition is always true: (p2040 <= 1)
lola: LP says that atomic proposition is always true: (p480 <= 1)
lola: LP says that atomic proposition is always true: (p1000 <= 1)
lola: LP says that atomic proposition is always true: (p41 <= 1)
lola: LP says that atomic proposition is always true: (p301 <= 1)
lola: LP says that atomic proposition is always true: (p1081 <= 1)
lola: LP says that atomic proposition is always true: (p1341 <= 1)
lola: LP says that atomic proposition is always true: (p1780 <= 1)
lola: LP says that atomic proposition is always true: (p740 <= 1)
lola: LP says that atomic proposition is always true: (p122 <= 1)
lola: LP says that atomic proposition is always true: (p382 <= 1)
lola: LP says that atomic proposition is always true: (p561 <= 1)
lola: LP says that atomic proposition is always true: (p821 <= 1)
lola: LP says that atomic proposition is always true: (p1699 <= 1)
lola: LP says that atomic proposition is always true: (p1959 <= 1)
lola: LP says that atomic proposition is always true: (p1260 <= 1)
lola: LP says that atomic proposition is always true: (p203 <= 1)
lola: LP says that atomic proposition is always true: (p463 <= 1)
lola: LP says that atomic proposition is always true: (p1243 <= 1)
lola: LP says that atomic proposition is always true: (p1503 <= 1)
lola: LP says that atomic proposition is always true: (p2543 <= 1)
lola: LP says that atomic proposition is always true: (p1942 <= 1)
lola: LP says that atomic proposition is always true: (p2283 <= 1)
lola: LP says that atomic proposition is always true: (p642 <= 1)
lola: LP says that atomic proposition is always true: (p902 <= 1)
lola: LP says that atomic proposition is always true: (p1682 <= 1)
lola: LP says that atomic proposition is always true: (p1601 <= 1)
lola: LP says that atomic proposition is always true: (p2121 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p284 <= 1)
lola: LP says that atomic proposition is always true: (p723 <= 1)
lola: LP says that atomic proposition is always true: (p983 <= 1)
lola: LP says that atomic proposition is always true: (p1162 <= 1)
lola: LP says that atomic proposition is always true: (p1422 <= 1)
lola: LP says that atomic proposition is always true: (p1861 <= 1)
lola: LP says that atomic proposition is always true: (p1584 <= 1)
lola: LP says that atomic proposition is always true: (p2104 <= 1)
lola: LP says that atomic proposition is always true: (p365 <= 1)
lola: LP says that atomic proposition is always true: (p544 <= 1)
lola: LP says that atomic proposition is always true: (p804 <= 1)
lola: LP says that atomic proposition is always true: (p1145 <= 1)
lola: LP says that atomic proposition is always true: (p1405 <= 1)
lola: LP says that atomic proposition is always true: (p105 <= 1)
lola: LP says that atomic proposition is always true: (p1844 <= 1)
lola: LP says that atomic proposition is always true: (p625 <= 1)
lola: LP says that atomic proposition is always true: (p885 <= 1)
lola: LP says that atomic proposition is always true: (p1064 <= 1)
lola: LP says that atomic proposition is always true: (p186 <= 1)
lola: LP says that atomic proposition is always true: (p446 <= 1)
lola: LP says that atomic proposition is always true: (p2023 <= 1)
lola: LP says that atomic proposition is always true: (p1763 <= 1)
lola: LP says that atomic proposition is always true: (p2462 <= 1)
lola: LP says that atomic proposition is always true: (p2202 <= 1)
lola: LP says that atomic proposition is always true: (p1324 <= 1)
lola: LP says that atomic proposition is always true: (p7 <= 1)
lola: LP says that atomic proposition is always true: (p527 <= 1)
lola: LP says that atomic proposition is always true: (p706 <= 1)
lola: LP says that atomic proposition is always true: (p966 <= 1)
lola: LP says that atomic proposition is always true: (p1307 <= 1)
lola: LP says that atomic proposition is always true: (p1746 <= 1)
lola: LP says that atomic proposition is always true: (p1567 <= 1)
lola: LP says that atomic proposition is always true: (p2006 <= 1)
lola: LP says that atomic proposition is always true: (p267 <= 1)
lola: LP says that atomic proposition is always true: (p1226 <= 1)
lola: LP says that atomic proposition is always true: (p1047 <= 1)
lola: LP says that atomic proposition is always true: (p1486 <= 1)
lola: LP says that atomic proposition is always true: (p2168 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: LP says that atomic proposition is always true: (p348 <= 1)
lola: LP says that atomic proposition is always true: (p1665 <= 1)
lola: LP says that atomic proposition is always true: (p1925 <= 1)
lola: LP says that atomic proposition is always true: (p787 <= 1)
lola: LP says that atomic proposition is always true: (p1908 <= 1)
lola: LP says that atomic proposition is always true: (p1648 <= 1)
lola: LP says that atomic proposition is always true: (p608 <= 1)
lola: LP says that atomic proposition is always true: (p868 <= 1)
lola: LP says that atomic proposition is always true: (p2445 <= 1)
lola: LP says that atomic proposition is always true: (p2185 <= 1)
lola: LP says that atomic proposition is always true: (p169 <= 1)
lola: LP says that atomic proposition is always true: (p429 <= 1)
lola: LP says that atomic proposition is always true: (p1469 <= 1)
lola: LP says that atomic proposition is always true: (p1209 <= 1)
lola: LP says that atomic proposition is always true: (p1388 <= 1)
lola: LP says that atomic proposition is always true: (p1827 <= 1)
lola: LP says that atomic proposition is always true: (p2087 <= 1)
lola: LP says that atomic proposition is always true: (p510 <= 1)
lola: LP says that atomic proposition is always true: (p1128 <= 1)
lola: LP says that atomic proposition is always true: (p689 <= 1)
lola: LP says that atomic proposition is always true: (p949 <= 1)
lola: LP says that atomic proposition is always true: (p2526 <= 1)
lola: LP says that atomic proposition is always true: (p2266 <= 1)
lola: LP says that atomic proposition is always true: (p250 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p591 <= 1)
lola: LP says that atomic proposition is always true: (p1111 <= 1)
lola: LP says that atomic proposition is always true: (p1631 <= 1)
lola: LP says that atomic proposition is always true: (p2151 <= 1)
lola: LP says that atomic proposition is always true: (p2070 <= 1)
lola: LP says that atomic proposition is always true: (p770 <= 1)
lola: LP says that atomic proposition is always true: (p1030 <= 1)
lola: LP says that atomic proposition is always true: (p1810 <= 1)
lola: LP says that atomic proposition is always true: (p331 <= 1)
lola: LP says that atomic proposition is always true: (p1371 <= 1)
lola: LP says that atomic proposition is always true: (p1729 <= 1)
lola: LP says that atomic proposition is always true: (p1989 <= 1)
lola: LP says that atomic proposition is always true: (p1290 <= 1)
lola: LP says that atomic proposition is always true: (p1550 <= 1)
lola: LP says that atomic proposition is always true: (p2492 <= 1)
lola: LP says that atomic proposition is always true: (p2232 <= 1)
lola: LP says that atomic proposition is always true: (p152 <= 1)
lola: LP says that atomic proposition is always true: (p412 <= 1)
lola: LP says that atomic proposition is always true: (p851 <= 1)
lola: LP says that atomic proposition is always true: (p2509 <= 1)
lola: LP says that atomic proposition is always true: (p2249 <= 1)
lola: LP says that atomic proposition is always true: (p1712 <= 1)
lola: LP says that atomic proposition is always true: (p1972 <= 1)
lola: LP says that atomic proposition is always true: (p233 <= 1)
lola: LP says that atomic proposition is always true: (p672 <= 1)
lola: LP says that atomic proposition is always true: (p493 <= 1)
lola: LP says that atomic proposition is always true: (p932 <= 1)
lola: LP says that atomic proposition is always true: (p1273 <= 1)
lola: LP says that atomic proposition is always true: (p1533 <= 1)
lola: LP says that atomic proposition is always true: (p574 <= 1)
lola: LP says that atomic proposition is always true: (p54 <= 1)
lola: LP says that atomic proposition is always true: (p1192 <= 1)
lola: LP says that atomic proposition is always true: (p1452 <= 1)
lola: LP says that atomic proposition is always true: (p753 <= 1)
lola: LP says that atomic proposition is always true: (p1013 <= 1)
lola: LP says that atomic proposition is always true: (p314 <= 1)
lola: LP says that atomic proposition is always true: (p1891 <= 1)
lola: LP says that atomic proposition is always true: (p135 <= 1)
lola: LP says that atomic proposition is always true: (p655 <= 1)
lola: LP says that atomic proposition is always true: (p1175 <= 1)
lola: LP says that atomic proposition is always true: (p1695 <= 1)
lola: LP says that atomic proposition is always true: (p2215 <= 1)
lola: LP says that atomic proposition is always true: (p1874 <= 1)
lola: LP says that atomic proposition is always true: (p2134 <= 1)
lola: LP says that atomic proposition is always true: (p395 <= 1)
lola: LP says that atomic proposition is always true: (p834 <= 1)
lola: LP says that atomic proposition is always true: (p1435 <= 1)
lola: LP says that atomic proposition is always true: (p2475 <= 1)
lola: LP says that atomic proposition is always true: (p1094 <= 1)
lola: LP says that atomic proposition is always true: (p1614 <= 1)
lola: LP says that atomic proposition is always true: (p2556 <= 1)
lola: LP says that atomic proposition is always true: (p2296 <= 1)
lola: LP says that atomic proposition is always true: (p216 <= 1)
lola: LP says that atomic proposition is always true: (p476 <= 1)
lola: LP says that atomic proposition is always true: (p1793 <= 1)
lola: LP says that atomic proposition is always true: (p2053 <= 1)
lola: LP says that atomic proposition is always true: (p915 <= 1)
lola: LP says that atomic proposition is always true: (p1354 <= 1)
lola: LP says that atomic proposition is always true: (p37 <= 1)
lola: LP says that atomic proposition is always true: (p557 <= 1)
lola: LP says that atomic proposition is always true: (p1077 <= 1)
lola: LP says that atomic proposition is always true: (p2036 <= 1)
lola: LP says that atomic proposition is always true: (p1597 <= 1)
lola: LP says that atomic proposition is always true: (p1776 <= 1)
lola: LP says that atomic proposition is always true: (p736 <= 1)
lola: LP says that atomic proposition is always true: (p996 <= 1)
lola: LP says that atomic proposition is always true: (p2313 <= 1)
lola: LP says that atomic proposition is always true: (p297 <= 1)
lola: LP says that atomic proposition is always true: (p1337 <= 1)
lola: LP says that atomic proposition is always true: (p118 <= 1)
lola: LP says that atomic proposition is always true: (p638 <= 1)
lola: LP says that atomic proposition is always true: (p1256 <= 1)
lola: LP says that atomic proposition is always true: (p1516 <= 1)
lola: LP says that atomic proposition is always true: (p378 <= 1)
lola: LP says that atomic proposition is always true: (p817 <= 1)
lola: LP says that atomic proposition is always true: (p1955 <= 1)
lola: LP says that atomic proposition is always true: (p199 <= 1)
lola: LP says that atomic proposition is always true: (p719 <= 1)
lola: LP says that atomic proposition is always true: (p1239 <= 1)
lola: LP says that atomic proposition is always true: (p1759 <= 1)
lola: LP says that atomic proposition is always true: (p2279 <= 1)
lola: LP says that atomic proposition is always true: (p459 <= 1)
lola: LP says that atomic proposition is always true: (p1499 <= 1)
lola: LP says that atomic proposition is always true: (p2539 <= 1)
lola: LP says that atomic proposition is always true: (p1938 <= 1)
lola: LP says that atomic proposition is always true: (p898 <= 1)
lola: LP says that atomic proposition is always true: (p20 <= 1)
lola: LP says that atomic proposition is always true: (p540 <= 1)
lola: LP says that atomic proposition is always true: (p1158 <= 1)
lola: LP says that atomic proposition is always true: (p1678 <= 1)
lola: LP says that atomic proposition is always true: (p1857 <= 1)
lola: LP says that atomic proposition is always true: (p2117 <= 1)
lola: LP says that atomic proposition is always true: (p280 <= 1)
lola: LP says that atomic proposition is always true: (p979 <= 1)
lola: LP says that atomic proposition is always true: (p1418 <= 1)
lola: LP says that atomic proposition is always true: (p101 <= 1)
lola: LP says that atomic proposition is always true: (p621 <= 1)
lola: LP says that atomic proposition is always true: (p1141 <= 1)
lola: LP says that atomic proposition is always true: (p1661 <= 1)
lola: LP says that atomic proposition is always true: (p1840 <= 1)
lola: LP says that atomic proposition is always true: (p2100 <= 1)
lola: LP says that atomic proposition is always true: (p361 <= 1)
lola: LP says that atomic proposition is always true: (p800 <= 1)
lola: LP says that atomic proposition is always true: (p1401 <= 1)
lola: LP says that atomic proposition is always true: (p702 <= 1)
lola: LP says that atomic proposition is always true: (p1060 <= 1)
lola: LP says that atomic proposition is always true: (p182 <= 1)
lola: LP says that atomic proposition is always true: (p2198 <= 1)
lola: LP says that atomic proposition is always true: (p1320 <= 1)
lola: LP says that atomic proposition is always true: (p1580 <= 1)
lola: LP says that atomic proposition is always true: (p442 <= 1)
lola: LP says that atomic proposition is always true: (p881 <= 1)
lola: LP says that atomic proposition is always true: (p2019 <= 1)
lola: LP says that atomic proposition is always true: (p2458 <= 1)
lola: LP says that atomic proposition is always true: (p3 <= 1)
lola: LP says that atomic proposition is always true: (p263 <= 1)
lola: LP says that atomic proposition is always true: (p523 <= 1)
lola: LP says that atomic proposition is always true: (p783 <= 1)
lola: LP says that atomic proposition is always true: (p1303 <= 1)
lola: LP says that atomic proposition is always true: (p1823 <= 1)
lola: LP says that atomic proposition is always true: (p962 <= 1)
lola: LP says that atomic proposition is always true: (p1563 <= 1)
lola: LP says that atomic proposition is always true: (p2002 <= 1)
lola: LP says that atomic proposition is always true: (p1222 <= 1)
lola: LP says that atomic proposition is always true: (p1742 <= 1)
lola: LP says that atomic proposition is always true: (p2164 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p604 <= 1)
lola: LP says that atomic proposition is always true: (p1043 <= 1)
lola: LP says that atomic proposition is always true: (p1482 <= 1)
lola: LP says that atomic proposition is always true: (p344 <= 1)
lola: LP says that atomic proposition is always true: (p1921 <= 1)
lola: LP says that atomic proposition is always true: (p1725 <= 1)
lola: LP says that atomic proposition is always true: (p2181 <= 1)
lola: LP says that atomic proposition is always true: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p685 <= 1)
lola: LP says that atomic proposition is always true: (p1205 <= 1)
lola: LP says that atomic proposition is always true: (p1904 <= 1)
lola: LP says that atomic proposition is always true: (p1465 <= 1)
lola: LP says that atomic proposition is always true: (p864 <= 1)
lola: LP says that atomic proposition is always true: (p2441 <= 1)
lola: LP says that atomic proposition is always true: (p425 <= 1)
lola: LP says that atomic proposition is always true: (p246 <= 1)
lola: LP says that atomic proposition is always true: (p1124 <= 1)
lola: LP says that atomic proposition is always true: (p1644 <= 1)
lola: LP says that atomic proposition is always true: (p766 <= 1)
lola: LP says that atomic proposition is always true: (p2262 <= 1)
lola: LP says that atomic proposition is always true: (p1384 <= 1)
lola: LP says that atomic proposition is always true: (p2083 <= 1)
lola: LP says that atomic proposition is always true: (p506 <= 1)
lola: LP says that atomic proposition is always true: (p945 <= 1)
lola: LP says that atomic proposition is always true: (p2522 <= 1)
lola: LP says that atomic proposition is always true: (p67 <= 1)
lola: LP says that atomic proposition is always true: (p327 <= 1)
lola: LP says that atomic proposition is always true: (p587 <= 1)
lola: LP says that atomic proposition is always true: (p847 <= 1)
lola: LP says that atomic proposition is always true: (p1107 <= 1)
lola: LP says that atomic proposition is always true: (p1367 <= 1)
lola: LP says that atomic proposition is always true: (p1887 <= 1)
lola: LP says that atomic proposition is always true: (p1627 <= 1)
lola: LP says that atomic proposition is always true: (p2066 <= 1)
lola: LP says that atomic proposition is always true: (p1026 <= 1)
lola: LP says that atomic proposition is always true: (p1806 <= 1)
lola: LP says that atomic proposition is always true: (p1286 <= 1)
lola: LP says that atomic proposition is always true: (p2228 <= 1)
lola: LP says that atomic proposition is always true: (p148 <= 1)
lola: LP says that atomic proposition is always true: (p668 <= 1)
lola: LP says that atomic proposition is always true: (p2488 <= 1)
lola: LP says that atomic proposition is always true: (p1985 <= 1)
lola: LP says that atomic proposition is always true: (p1546 <= 1)
lola: LP says that atomic proposition is always true: (p408 <= 1)
lola: LP says that atomic proposition is always true: (p2245 <= 1)
lola: LP says that atomic proposition is always true: (p229 <= 1)
lola: LP says that atomic proposition is always true: (p749 <= 1)
lola: LP says that atomic proposition is always true: (p1269 <= 1)
lola: LP says that atomic proposition is always true: (p1789 <= 1)
lola: LP says that atomic proposition is always true: (p2505 <= 1)
lola: LP says that atomic proposition is always true: (p1968 <= 1)
lola: LP says that atomic proposition is always true: (p489 <= 1)
lola: LP says that atomic proposition is always true: (p928 <= 1)
lola: LP says that atomic proposition is always true: (p1529 <= 1)
lola: LP says that atomic proposition is always true: (p570 <= 1)
lola: LP says that atomic proposition is always true: (p830 <= 1)
lola: LP says that atomic proposition is always true: (p50 <= 1)
lola: LP says that atomic proposition is always true: (p310 <= 1)
lola: LP says that atomic proposition is always true: (p2326 <= 1)
lola: LP says that atomic proposition is always true: (p1188 <= 1)
lola: LP says that atomic proposition is always true: (p1708 <= 1)
lola: LP says that atomic proposition is always true: (p2147 <= 1)
lola: LP says that atomic proposition is always true: (p1448 <= 1)
lola: LP says that atomic proposition is always true: (p1009 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p391 <= 1)
lola: LP says that atomic proposition is always true: (p651 <= 1)
lola: LP says that atomic proposition is always true: (p911 <= 1)
lola: LP says that atomic proposition is always true: (p1171 <= 1)
lola: LP says that atomic proposition is always true: (p1691 <= 1)
lola: LP says that atomic proposition is always true: (p1431 <= 1)
lola: LP says that atomic proposition is always true: (p1951 <= 1)
lola: LP says that atomic proposition is always true: (p2471 <= 1)
lola: LP says that atomic proposition is always true: (p2211 <= 1)
lola: LP says that atomic proposition is always true: (p2130 <= 1)
lola: LP says that atomic proposition is always true: (p1090 <= 1)
lola: LP says that atomic proposition is always true: (p1350 <= 1)
lola: LP says that atomic proposition is always true: (p1610 <= 1)
lola: LP says that atomic proposition is always true: (p1870 <= 1)
lola: LP says that atomic proposition is always true: (p2292 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p732 <= 1)
lola: LP says that atomic proposition is always true: (p2552 <= 1)
lola: LP says that atomic proposition is always true: (p472 <= 1)
lola: LP says that atomic proposition is always true: (p2049 <= 1)
lola: LP says that atomic proposition is always true: (p553 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p293 <= 1)
lola: LP says that atomic proposition is always true: (p813 <= 1)
lola: LP says that atomic proposition is always true: (p1073 <= 1)
lola: LP says that atomic proposition is always true: (p1333 <= 1)
lola: LP says that atomic proposition is always true: (p1853 <= 1)
lola: LP says that atomic proposition is always true: (p2309 <= 1)
lola: LP says that atomic proposition is always true: (p2032 <= 1)
lola: LP says that atomic proposition is always true: (p1593 <= 1)
lola: LP says that atomic proposition is always true: (p992 <= 1)
lola: LP says that atomic proposition is always true: (p114 <= 1)
lola: LP says that atomic proposition is always true: (p374 <= 1)
lola: LP says that atomic proposition is always true: (p634 <= 1)
lola: LP says that atomic proposition is always true: (p894 <= 1)
lola: LP says that atomic proposition is always true: (p1252 <= 1)
lola: LP says that atomic proposition is always true: (p1772 <= 1)
lola: LP says that atomic proposition is always true: (p1512 <= 1)
lola: LP says that atomic proposition is always true: (p455 <= 1)
lola: LP says that atomic proposition is always true: (p195 <= 1)
lola: LP says that atomic proposition is always true: (p715 <= 1)
lola: LP says that atomic proposition is always true: (p1235 <= 1)
lola: LP says that atomic proposition is always true: (p975 <= 1)
lola: LP says that atomic proposition is always true: (p1495 <= 1)
lola: LP says that atomic proposition is always true: (p1755 <= 1)
lola: LP says that atomic proposition is always true: (p2015 <= 1)
lola: LP says that atomic proposition is always true: (p2535 <= 1)
lola: LP says that atomic proposition is always true: (p2275 <= 1)
lola: LP says that atomic proposition is always true: (p16 <= 1)
lola: LP says that atomic proposition is always true: (p276 <= 1)
lola: LP says that atomic proposition is always true: (p796 <= 1)
lola: LP says that atomic proposition is always true: (p536 <= 1)
lola: LP says that atomic proposition is always true: (p1934 <= 1)
lola: LP says that atomic proposition is always true: (p1154 <= 1)
lola: LP says that atomic proposition is always true: (p1674 <= 1)
lola: LP says that atomic proposition is always true: (p1414 <= 1)
lola: LP says that atomic proposition is always true: (p2113 <= 1)
lola: LP says that atomic proposition is always true: (p97 <= 1)
lola: LP says that atomic proposition is always true: (p357 <= 1)
lola: LP says that atomic proposition is always true: (p617 <= 1)
lola: LP says that atomic proposition is always true: (p877 <= 1)
lola: LP says that atomic proposition is always true: (p1137 <= 1)
lola: LP says that atomic proposition is always true: (p1397 <= 1)
lola: LP says that atomic proposition is always true: (p1657 <= 1)
lola: LP says that atomic proposition is always true: (p1917 <= 1)
lola: LP says that atomic proposition is always true: (p1056 <= 1)
lola: LP says that atomic proposition is always true: (p2096 <= 1)
lola: LP says that atomic proposition is always true: (p438 <= 1)
lola: LP says that atomic proposition is always true: (p698 <= 1)
lola: LP says that atomic proposition is always true: (p958 <= 1)
lola: LP says that atomic proposition is always true: (p178 <= 1)
lola: LP says that atomic proposition is always true: (p2454 <= 1)
lola: LP says that atomic proposition is always true: (p2194 <= 1)
lola: LP says that atomic proposition is always true: (p1316 <= 1)
lola: LP says that atomic proposition is always true: (p1836 <= 1)
lola: LP says that atomic proposition is always true: (p1576 <= 1)
lola: LP says that atomic proposition is always true: (p779 <= 1)
lola: LP says that atomic proposition is always true: (p1039 <= 1)
lola: LP says that atomic proposition is always true: (p1299 <= 1)
lola: LP says that atomic proposition is always true: (p1819 <= 1)
lola: LP says that atomic proposition is always true: (p1559 <= 1)
lola: LP says that atomic proposition is always true: (p2079 <= 1)
lola: LP says that atomic proposition is always true: (p259 <= 1)
lola: LP says that atomic proposition is always true: (p519 <= 1)
lola: LP says that atomic proposition is always true: (p1218 <= 1)
lola: LP says that atomic proposition is always true: (p1478 <= 1)
lola: LP says that atomic proposition is always true: (p2160 <= 1)
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p340 <= 1)
lola: LP says that atomic proposition is always true: (p600 <= 1)
lola: LP says that atomic proposition is always true: (p860 <= 1)
lola: LP says that atomic proposition is always true: (p1738 <= 1)
lola: LP says that atomic proposition is always true: (p1998 <= 1)
lola: LP says that atomic proposition is always true: (p1721 <= 1)
lola: LP says that atomic proposition is always true: (p1461 <= 1)
lola: LP says that atomic proposition is always true: (p1981 <= 1)
lola: LP says that atomic proposition is always true: (p2437 <= 1)
lola: LP says that atomic proposition is always true: (p2177 <= 1)
lola: LP says that atomic proposition is always true: (p161 <= 1)
lola: LP says that atomic proposition is always true: (p681 <= 1)
lola: LP says that atomic proposition is always true: (p421 <= 1)
lola: LP says that atomic proposition is always true: (p941 <= 1)
lola: LP says that atomic proposition is always true: (p1201 <= 1)
lola: LP says that atomic proposition is always true: (p1120 <= 1)
lola: LP says that atomic proposition is always true: (p1380 <= 1)
lola: LP says that atomic proposition is always true: (p1900 <= 1)
lola: LP says that atomic proposition is always true: (p1640 <= 1)
lola: LP says that atomic proposition is always true: (p502 <= 1)
lola: LP says that atomic proposition is always true: (p762 <= 1)
lola: LP says that atomic proposition is always true: (p1022 <= 1)
lola: LP says that atomic proposition is always true: (p2518 <= 1)
lola: LP says that atomic proposition is always true: (p2258 <= 1)
lola: LP says that atomic proposition is always true: (p242 <= 1)
lola: LP says that atomic proposition is always true: (p63 <= 1)
lola: LP says that atomic proposition is always true: (p2143 <= 1)
lola: LP says that atomic proposition is always true: (p323 <= 1)
lola: LP says that atomic proposition is always true: (p843 <= 1)
lola: LP says that atomic proposition is always true: (p1363 <= 1)
lola: LP says that atomic proposition is always true: (p1883 <= 1)
lola: LP says that atomic proposition is always true: (p583 <= 1)
lola: LP says that atomic proposition is always true: (p1623 <= 1)
lola: LP says that atomic proposition is always true: (p1802 <= 1)
lola: LP says that atomic proposition is always true: (p2484 <= 1)
lola: LP says that atomic proposition is always true: (p2062 <= 1)
lola: LP says that atomic proposition is always true: (p1282 <= 1)
lola: LP says that atomic proposition is always true: (p1542 <= 1)
lola: LP says that atomic proposition is always true: (p2224 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p404 <= 1)
lola: LP says that atomic proposition is always true: (p924 <= 1)
lola: LP says that atomic proposition is always true: (p664 <= 1)
lola: LP says that atomic proposition is always true: (p1103 <= 1)
lola: LP says that atomic proposition is always true: (p2501 <= 1)
lola: LP says that atomic proposition is always true: (p2241 <= 1)
lola: LP says that atomic proposition is always true: (p225 <= 1)
lola: LP says that atomic proposition is always true: (p485 <= 1)
lola: LP says that atomic proposition is always true: (p745 <= 1)
lola: LP says that atomic proposition is always true: (p1005 <= 1)
lola: LP says that atomic proposition is always true: (p1265 <= 1)
lola: LP says that atomic proposition is always true: (p1525 <= 1)
lola: LP says that atomic proposition is always true: (p1785 <= 1)
lola: LP says that atomic proposition is always true: (p2045 <= 1)
lola: LP says that atomic proposition is always true: (p1086 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p1184 <= 1)
lola: LP says that atomic proposition is always true: (p1704 <= 1)
lola: LP says that atomic proposition is always true: (p1444 <= 1)
lola: LP says that atomic proposition is always true: (p1964 <= 1)
lola: LP says that atomic proposition is always true: (p306 <= 1)
lola: LP says that atomic proposition is always true: (p826 <= 1)
lola: LP says that atomic proposition is always true: (p127 <= 1)
lola: LP says that atomic proposition is always true: (p566 <= 1)
lola: LP says that atomic proposition is always true: (p387 <= 1)
lola: LP says that atomic proposition is always true: (p907 <= 1)
lola: LP says that atomic proposition is always true: (p1427 <= 1)
lola: LP says that atomic proposition is always true: (p1947 <= 1)
lola: LP says that atomic proposition is always true: (p2467 <= 1)
lola: LP says that atomic proposition is always true: (p647 <= 1)
lola: LP says that atomic proposition is always true: (p1687 <= 1)
lola: LP says that atomic proposition is always true: (p1866 <= 1)
lola: LP says that atomic proposition is always true: (p2126 <= 1)
lola: LP says that atomic proposition is always true: (p2548 <= 1)
lola: LP says that atomic proposition is always true: (p988 <= 1)
lola: LP says that atomic proposition is always true: (p2288 <= 1)
lola: LP says that atomic proposition is always true: (p208 <= 1)
lola: LP says that atomic proposition is always true: (p468 <= 1)
lola: LP says that atomic proposition is always true: (p728 <= 1)
lola: LP says that atomic proposition is always true: (p1346 <= 1)
lola: LP says that atomic proposition is always true: (p29 <= 1)
lola: LP says that atomic proposition is always true: (p1167 <= 1)
lola: LP says that atomic proposition is always true: (p1606 <= 1)
lola: LP says that atomic proposition is always true: (p1329 <= 1)
lola: LP says that atomic proposition is always true: (p1849 <= 1)
lola: LP says that atomic proposition is always true: (p1589 <= 1)
lola: LP says that atomic proposition is always true: (p2109 <= 1)
lola: LP says that atomic proposition is always true: (p2305 <= 1)
lola: LP says that atomic proposition is always true: (p289 <= 1)
lola: LP says that atomic proposition is always true: (p809 <= 1)
lola: LP says that atomic proposition is always true: (p110 <= 1)
lola: LP says that atomic proposition is always true: (p549 <= 1)
lola: LP says that atomic proposition is always true: (p1150 <= 1)
lola: LP says that atomic proposition is always true: (p1248 <= 1)
lola: LP says that atomic proposition is always true: (p2028 <= 1)
lola: LP says that atomic proposition is always true: (p1508 <= 1)
lola: LP says that atomic proposition is always true: (p1768 <= 1)
lola: LP says that atomic proposition is always true: (p370 <= 1)
lola: LP says that atomic proposition is always true: (p890 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p1069 <= 1)
lola: LP says that atomic proposition is always true: (p630 <= 1)
lola: LP says that atomic proposition is always true: (p2207 <= 1)
lola: LP says that atomic proposition is always true: (p451 <= 1)
lola: LP says that atomic proposition is always true: (p971 <= 1)
lola: LP says that atomic proposition is always true: (p1491 <= 1)
lola: LP says that atomic proposition is always true: (p2531 <= 1)
lola: LP says that atomic proposition is always true: (p2011 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p711 <= 1)
lola: LP says that atomic proposition is always true: (p1751 <= 1)
lola: LP says that atomic proposition is always true: (p1052 <= 1)
lola: LP says that atomic proposition is always true: (p272 <= 1)
lola: LP says that atomic proposition is always true: (p792 <= 1)
lola: LP says that atomic proposition is always true: (p1930 <= 1)
lola: LP says that atomic proposition is always true: (p1410 <= 1)
lola: LP says that atomic proposition is always true: (p93 <= 1)
lola: LP says that atomic proposition is always true: (p532 <= 1)
lola: LP says that atomic proposition is always true: (p1231 <= 1)
lola: LP says that atomic proposition is always true: (p2173 <= 1)
lola: LP says that atomic proposition is always true: (p1670 <= 1)
lola: LP says that atomic proposition is always true: (p353 <= 1)
lola: LP says that atomic proposition is always true: (p873 <= 1)
lola: LP says that atomic proposition is always true: (p1393 <= 1)
lola: LP says that atomic proposition is always true: (p1913 <= 1)
lola: LP says that atomic proposition is always true: (p613 <= 1)
lola: LP says that atomic proposition is always true: (p1214 <= 1)
lola: LP says that atomic proposition is always true: (p174 <= 1)
lola: LP says that atomic proposition is always true: (p1653 <= 1)
lola: LP says that atomic proposition is always true: (p2190 <= 1)
lola: LP says that atomic proposition is always true: (p1312 <= 1)
lola: LP says that atomic proposition is always true: (p1832 <= 1)
lola: LP says that atomic proposition is always true: (p1572 <= 1)
lola: LP says that atomic proposition is always true: (p2092 <= 1)
lola: LP says that atomic proposition is always true: (p434 <= 1)
lola: LP says that atomic proposition is always true: (p954 <= 1)
lola: LP says that atomic proposition is always true: (p2450 <= 1)
lola: LP says that atomic proposition is always true: (p255 <= 1)
lola: LP says that atomic proposition is always true: (p694 <= 1)
lola: LP says that atomic proposition is always true: (p1133 <= 1)
lola: LP says that atomic proposition is always true: (p2271 <= 1)
lola: LP says that atomic proposition is always true: (p1035 <= 1)
lola: LP says that atomic proposition is always true: (p1555 <= 1)
lola: LP says that atomic proposition is always true: (p2075 <= 1)
lola: LP says that atomic proposition is always true: (p515 <= 1)
lola: LP says that atomic proposition is always true: (p775 <= 1)
lola: LP says that atomic proposition is always true: (p1116 <= 1)
lola: LP says that atomic proposition is always true: (p1815 <= 1)
lola: LP says that atomic proposition is always true: (p2156 <= 1)
lola: LP says that atomic proposition is always true: (p76 <= 1)
lola: LP says that atomic proposition is always true: (p1474 <= 1)
lola: LP says that atomic proposition is always true: (p336 <= 1)
lola: LP says that atomic proposition is always true: (p856 <= 1)
lola: LP says that atomic proposition is always true: (p1994 <= 1)
lola: LP says that atomic proposition is always true: (p1295 <= 1)
lola: LP says that atomic proposition is always true: (p2237 <= 1)
lola: LP says that atomic proposition is always true: (p596 <= 1)
lola: LP says that atomic proposition is always true: (p157 <= 1)
lola: LP says that atomic proposition is always true: (p1734 <= 1)
lola: LP says that atomic proposition is always true: (p1457 <= 1)
lola: LP says that atomic proposition is always true: (p1977 <= 1)
lola: LP says that atomic proposition is always true: (p2433 <= 1)
lola: LP says that atomic proposition is always true: (p417 <= 1)
lola: LP says that atomic proposition is always true: (p937 <= 1)
lola: LP says that atomic proposition is always true: (p1717 <= 1)
lola: LP says that atomic proposition is always true: (p238 <= 1)
lola: LP says that atomic proposition is always true: (p1278 <= 1)
lola: LP says that atomic proposition is always true: (p677 <= 1)
lola: LP says that atomic proposition is always true: (p2254 <= 1)
lola: LP says that atomic proposition is always true: (p1376 <= 1)
lola: LP says that atomic proposition is always true: (p1896 <= 1)
lola: LP says that atomic proposition is always true: (p498 <= 1)
lola: LP says that atomic proposition is always true: (p1018 <= 1)
lola: LP says that atomic proposition is always true: (p2514 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p319 <= 1)
lola: LP says that atomic proposition is always true: (p1636 <= 1)
lola: LP says that atomic proposition is always true: (p758 <= 1)
lola: LP says that atomic proposition is always true: (p1197 <= 1)
lola: LP says that atomic proposition is always true: (p2139 <= 1)
lola: LP says that atomic proposition is always true: (p579 <= 1)
lola: LP says that atomic proposition is always true: (p839 <= 1)
lola: LP says that atomic proposition is always true: (p1879 <= 1)
lola: LP says that atomic proposition is always true: (p1619 <= 1)
lola: LP says that atomic proposition is always true: (p1180 <= 1)
lola: LP says that atomic proposition is always true: (p2220 <= 1)
lola: LP says that atomic proposition is always true: (p140 <= 1)
lola: LP says that atomic proposition is always true: (p2480 <= 1)
lola: LP says that atomic proposition is always true: (p2058 <= 1)
lola: LP says that atomic proposition is always true: (p920 <= 1)
lola: LP says that atomic proposition is always true: (p1538 <= 1)
lola: LP says that atomic proposition is always true: (p400 <= 1)
lola: LP says that atomic proposition is always true: (p1099 <= 1)
lola: LP says that atomic proposition is always true: (p1359 <= 1)
lola: LP says that atomic proposition is always true: (p1798 <= 1)
lola: LP says that atomic proposition is always true: (p221 <= 1)
lola: LP says that atomic proposition is always true: (p660 <= 1)
lola: LP says that atomic proposition is always true: (p2301 <= 1)
lola: LP says that atomic proposition is always true: (p2497 <= 1)
lola: LP says that atomic proposition is always true: (p481 <= 1)
lola: LP says that atomic proposition is always true: (p1001 <= 1)
lola: LP says that atomic proposition is always true: (p2041 <= 1)
lola: LP says that atomic proposition is always true: (p1521 <= 1)
lola: LP says that atomic proposition is always true: (p302 <= 1)
lola: LP says that atomic proposition is always true: (p1082 <= 1)
lola: LP says that atomic proposition is always true: (p1342 <= 1)
lola: LP says that atomic proposition is always true: (p42 <= 1)
lola: LP says that atomic proposition is always true: (p741 <= 1)
lola: LP says that atomic proposition is always true: (p1781 <= 1)
lola: LP says that atomic proposition is always true: (p1440 <= 1)
lola: LP says that atomic proposition is always true: (p1960 <= 1)
lola: LP says that atomic proposition is always true: (p123 <= 1)
lola: LP says that atomic proposition is always true: (p383 <= 1)
lola: LP says that atomic proposition is always true: (p562 <= 1)
lola: LP says that atomic proposition is always true: (p822 <= 1)
lola: LP says that atomic proposition is always true: (p1700 <= 1)
lola: LP says that atomic proposition is always true: (p1261 <= 1)
lola: LP says that atomic proposition is always true: (p643 <= 1)
lola: LP says that atomic proposition is always true: (p903 <= 1)
lola: LP says that atomic proposition is always true: (p1683 <= 1)
lola: LP says that atomic proposition is always true: (p1943 <= 1)
lola: LP says that atomic proposition is always true: (p2284 <= 1)
lola: LP says that atomic proposition is always true: (p1244 <= 1)
lola: LP says that atomic proposition is always true: (p204 <= 1)
lola: LP says that atomic proposition is always true: (p1602 <= 1)
lola: LP says that atomic proposition is always true: (p2122 <= 1)
lola: LP says that atomic proposition is always true: (p2544 <= 1)
lola: LP says that atomic proposition is always true: (p984 <= 1)
lola: LP says that atomic proposition is always true: (p464 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p285 <= 1)
lola: LP says that atomic proposition is always true: (p1163 <= 1)
lola: LP says that atomic proposition is always true: (p1423 <= 1)
lola: LP says that atomic proposition is always true: (p1862 <= 1)
lola: LP says that atomic proposition is always true: (p724 <= 1)
lola: LP says that atomic proposition is always true: (p1585 <= 1)
lola: LP says that atomic proposition is always true: (p2105 <= 1)
lola: LP says that atomic proposition is always true: (p106 <= 1)
lola: LP says that atomic proposition is always true: (p545 <= 1)
lola: LP says that atomic proposition is always true: (p805 <= 1)
lola: LP says that atomic proposition is always true: (p366 <= 1)
lola: LP says that atomic proposition is always true: (p1146 <= 1)
lola: LP says that atomic proposition is always true: (p1406 <= 1)
lola: LP says that atomic proposition is always true: (p1845 <= 1)
lola: LP says that atomic proposition is always true: (p2024 <= 1)
lola: LP says that atomic proposition is always true: (p1504 <= 1)
lola: LP says that atomic proposition is always true: (p187 <= 1)
lola: LP says that atomic proposition is always true: (p447 <= 1)
lola: LP says that atomic proposition is always true: (p1065 <= 1)
lola: LP says that atomic proposition is always true: (p626 <= 1)
lola: LP says that atomic proposition is always true: (p886 <= 1)
lola: LP says that atomic proposition is always true: (p2463 <= 1)
lola: LP says that atomic proposition is always true: (p2203 <= 1)
lola: LP says that atomic proposition is always true: (p1325 <= 1)
lola: LP says that atomic proposition is always true: (p1764 <= 1)
lola: LP says that atomic proposition is always true: (p8 <= 1)
lola: LP says that atomic proposition is always true: (p268 <= 1)
lola: LP says that atomic proposition is always true: (p707 <= 1)
lola: LP says that atomic proposition is always true: (p967 <= 1)
lola: LP says that atomic proposition is always true: (p1747 <= 1)
lola: LP says that atomic proposition is always true: (p2007 <= 1)
lola: LP says that atomic proposition is always true: (p1308 <= 1)
lola: LP says that atomic proposition is always true: (p1048 <= 1)
lola: LP says that atomic proposition is always true: (p89 <= 1)
lola: LP says that atomic proposition is always true: (p349 <= 1)
lola: LP says that atomic proposition is always true: (p528 <= 1)
lola: LP says that atomic proposition is always true: (p788 <= 1)
lola: LP says that atomic proposition is always true: (p1227 <= 1)
lola: LP says that atomic proposition is always true: (p1487 <= 1)
lola: LP says that atomic proposition is always true: (p2169 <= 1)
lola: LP says that atomic proposition is always true: (p2429 <= 1)
lola: LP says that atomic proposition is always true: (p1666 <= 1)
lola: LP says that atomic proposition is always true: (p1926 <= 1)
lola: LP says that atomic proposition is always true: (p609 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p430 <= 1)
lola: LP says that atomic proposition is always true: (p869 <= 1)
lola: LP says that atomic proposition is always true: (p1470 <= 1)
lola: LP says that atomic proposition is always true: (p1210 <= 1)
lola: LP says that atomic proposition is always true: (p1909 <= 1)
lola: LP says that atomic proposition is always true: (p1649 <= 1)
lola: LP says that atomic proposition is always true: (p2446 <= 1)
lola: LP says that atomic proposition is always true: (p2186 <= 1)
lola: LP says that atomic proposition is always true: (p1568 <= 1)
lola: LP says that atomic proposition is always true: (p2088 <= 1)
lola: LP says that atomic proposition is always true: (p690 <= 1)
lola: LP says that atomic proposition is always true: (p511 <= 1)
lola: LP says that atomic proposition is always true: (p950 <= 1)
lola: LP says that atomic proposition is always true: (p1129 <= 1)
lola: LP says that atomic proposition is always true: (p1389 <= 1)
lola: LP says that atomic proposition is always true: (p2527 <= 1)
lola: LP says that atomic proposition is always true: (p2267 <= 1)
lola: LP says that atomic proposition is always true: (p251 <= 1)
lola: LP says that atomic proposition is always true: (p1828 <= 1)
lola: LP says that atomic proposition is always true: (p771 <= 1)
lola: LP says that atomic proposition is always true: (p1031 <= 1)
lola: LP says that atomic proposition is always true: (p1112 <= 1)
lola: LP says that atomic proposition is always true: (p1372 <= 1)
lola: LP says that atomic proposition is always true: (p1811 <= 1)
lola: LP says that atomic proposition is always true: (p2152 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p332 <= 1)
lola: LP says that atomic proposition is always true: (p2071 <= 1)
lola: LP says that atomic proposition is always true: (p852 <= 1)
lola: LP says that atomic proposition is always true: (p1291 <= 1)
lola: LP says that atomic proposition is always true: (p1551 <= 1)
lola: LP says that atomic proposition is always true: (p2493 <= 1)
lola: LP says that atomic proposition is always true: (p2233 <= 1)
lola: LP says that atomic proposition is always true: (p592 <= 1)
lola: LP says that atomic proposition is always true: (p153 <= 1)
lola: LP says that atomic proposition is always true: (p413 <= 1)
lola: LP says that atomic proposition is always true: (p1730 <= 1)
lola: LP says that atomic proposition is always true: (p1990 <= 1)
lola: LP says that atomic proposition is always true: (p1713 <= 1)
lola: LP says that atomic proposition is always true: (p1534 <= 1)
lola: LP says that atomic proposition is always true: (p1973 <= 1)
lola: LP says that atomic proposition is always true: (p234 <= 1)
lola: LP says that atomic proposition is always true: (p494 <= 1)
lola: LP says that atomic proposition is always true: (p1274 <= 1)
lola: LP says that atomic proposition is always true: (p673 <= 1)
lola: LP says that atomic proposition is always true: (p933 <= 1)
lola: LP says that atomic proposition is always true: (p2510 <= 1)
lola: LP says that atomic proposition is always true: (p2250 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p575 <= 1)
lola: LP says that atomic proposition is always true: (p1193 <= 1)
lola: LP says that atomic proposition is always true: (p1892 <= 1)
lola: LP says that atomic proposition is always true: (p1632 <= 1)
lola: LP says that atomic proposition is always true: (p1453 <= 1)
lola: LP says that atomic proposition is always true: (p754 <= 1)
lola: LP says that atomic proposition is always true: (p1014 <= 1)
lola: LP says that atomic proposition is always true: (p2331 <= 1)
lola: LP says that atomic proposition is always true: (p315 <= 1)
lola: LP says that atomic proposition is always true: (p1875 <= 1)
lola: LP says that atomic proposition is always true: (p2135 <= 1)
lola: LP says that atomic proposition is always true: (p2476 <= 1)
lola: LP says that atomic proposition is always true: (p2216 <= 1)
lola: LP says that atomic proposition is always true: (p1176 <= 1)
lola: LP says that atomic proposition is always true: (p1436 <= 1)
lola: LP says that atomic proposition is always true: (p136 <= 1)
lola: LP says that atomic proposition is always true: (p396 <= 1)
lola: LP says that atomic proposition is always true: (p835 <= 1)
lola: LP says that atomic proposition is always true: (p1095 <= 1)
lola: LP says that atomic proposition is always true: (p1615 <= 1)
lola: LP says that atomic proposition is always true: (p1794 <= 1)
lola: LP says that atomic proposition is always true: (p2054 <= 1)
lola: LP says that atomic proposition is always true: (p916 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p477 <= 1)
lola: LP says that atomic proposition is always true: (p656 <= 1)
lola: LP says that atomic proposition is always true: (p2297 <= 1)
lola: LP says that atomic proposition is always true: (p1355 <= 1)
lola: LP says that atomic proposition is always true: (p558 <= 1)
lola: LP says that atomic proposition is always true: (p1078 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p2314 <= 1)
lola: LP says that atomic proposition is always true: (p1598 <= 1)
lola: LP says that atomic proposition is always true: (p737 <= 1)
lola: LP says that atomic proposition is always true: (p997 <= 1)
lola: LP says that atomic proposition is always true: (p2037 <= 1)
lola: LP says that atomic proposition is always true: (p1777 <= 1)
lola: LP says that atomic proposition is always true: (p298 <= 1)
lola: LP says that atomic proposition is always true: (p1338 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p639 <= 1)
lola: LP says that atomic proposition is always true: (p1696 <= 1)
lola: LP says that atomic proposition is always true: (p1956 <= 1)
lola: LP says that atomic proposition is always true: (p1517 <= 1)
lola: LP says that atomic proposition is always true: (p1257 <= 1)
lola: LP says that atomic proposition is always true: (p379 <= 1)
lola: LP says that atomic proposition is always true: (p818 <= 1)
lola: LP says that atomic proposition is always true: (p2540 <= 1)
lola: LP says that atomic proposition is always true: (p2280 <= 1)
lola: LP says that atomic proposition is always true: (p1240 <= 1)
lola: LP says that atomic proposition is always true: (p1500 <= 1)
lola: LP says that atomic proposition is always true: (p200 <= 1)
lola: LP says that atomic proposition is always true: (p460 <= 1)
lola: LP says that atomic proposition is always true: (p899 <= 1)
lola: LP says that atomic proposition is always true: (p1939 <= 1)
lola: LP says that atomic proposition is always true: (p21 <= 1)
lola: LP says that atomic proposition is always true: (p541 <= 1)
lola: LP says that atomic proposition is always true: (p1159 <= 1)
lola: LP says that atomic proposition is always true: (p1679 <= 1)
lola: LP says that atomic proposition is always true: (p1858 <= 1)
lola: LP says that atomic proposition is always true: (p2118 <= 1)
lola: LP says that atomic proposition is always true: (p980 <= 1)
lola: LP says that atomic proposition is always true: (p720 <= 1)
lola: LP says that atomic proposition is always true: (p281 <= 1)
lola: LP says that atomic proposition is always true: (p1419 <= 1)
lola: LP says that atomic proposition is always true: (p1662 <= 1)
lola: LP says that atomic proposition is always true: (p102 <= 1)
lola: LP says that atomic proposition is always true: (p622 <= 1)
lola: LP says that atomic proposition is always true: (p1142 <= 1)
lola: LP says that atomic proposition is always true: (p1841 <= 1)
lola: LP says that atomic proposition is always true: (p2101 <= 1)
lola: LP says that atomic proposition is always true: (p801 <= 1)
lola: LP says that atomic proposition is always true: (p362 <= 1)
lola: LP says that atomic proposition is always true: (p1402 <= 1)
lola: LP says that atomic proposition is always true: (p183 <= 1)
lola: LP says that atomic proposition is always true: (p703 <= 1)
lola: LP says that atomic proposition is always true: (p1061 <= 1)
lola: LP says that atomic proposition is always true: (p2199 <= 1)
lola: LP says that atomic proposition is always true: (p1321 <= 1)
lola: LP says that atomic proposition is always true: (p2020 <= 1)
lola: LP says that atomic proposition is always true: (p1581 <= 1)
lola: LP says that atomic proposition is always true: (p1760 <= 1)
lola: LP says that atomic proposition is always true: (p443 <= 1)
lola: LP says that atomic proposition is always true: (p882 <= 1)
lola: LP says that atomic proposition is always true: (p2459 <= 1)
lola: LP says that atomic proposition is always true: (p4 <= 1)
lola: LP says that atomic proposition is always true: (p524 <= 1)
lola: LP says that atomic proposition is always true: (p1304 <= 1)
lola: LP says that atomic proposition is always true: (p1564 <= 1)
lola: LP says that atomic proposition is always true: (p264 <= 1)
lola: LP says that atomic proposition is always true: (p963 <= 1)
lola: LP says that atomic proposition is always true: (p2003 <= 1)
lola: LP says that atomic proposition is always true: (p85 <= 1)
lola: LP says that atomic proposition is always true: (p605 <= 1)
lola: LP says that atomic proposition is always true: (p1223 <= 1)
lola: LP says that atomic proposition is always true: (p1743 <= 1)
lola: LP says that atomic proposition is always true: (p2165 <= 1)
lola: LP says that atomic proposition is always true: (p784 <= 1)
lola: LP says that atomic proposition is always true: (p1044 <= 1)
lola: LP says that atomic proposition is always true: (p345 <= 1)
lola: LP says that atomic proposition is always true: (p1483 <= 1)
lola: LP says that atomic proposition is always true: (p1922 <= 1)
lola: LP says that atomic proposition is always true: (p166 <= 1)
lola: LP says that atomic proposition is always true: (p686 <= 1)
lola: LP says that atomic proposition is always true: (p1206 <= 1)
lola: LP says that atomic proposition is always true: (p2182 <= 1)
lola: LP says that atomic proposition is always true: (p1726 <= 1)
lola: LP says that atomic proposition is always true: (p426 <= 1)
lola: LP says that atomic proposition is always true: (p865 <= 1)
lola: LP says that atomic proposition is always true: (p1905 <= 1)
lola: LP says that atomic proposition is always true: (p2442 <= 1)
lola: LP says that atomic proposition is always true: (p1466 <= 1)
lola: LP says that atomic proposition is always true: (p247 <= 1)
lola: LP says that atomic proposition is always true: (p767 <= 1)
lola: LP says that atomic proposition is always true: (p1125 <= 1)
lola: LP says that atomic proposition is always true: (p1645 <= 1)
lola: LP says that atomic proposition is always true: (p2263 <= 1)
lola: LP says that atomic proposition is always true: (p1824 <= 1)
lola: LP says that atomic proposition is always true: (p2084 <= 1)
lola: LP says that atomic proposition is always true: (p507 <= 1)
lola: LP says that atomic proposition is always true: (p946 <= 1)
lola: LP says that atomic proposition is always true: (p1385 <= 1)
lola: LP says that atomic proposition is always true: (p2523 <= 1)
lola: LP says that atomic proposition is always true: (p1108 <= 1)
lola: LP says that atomic proposition is always true: (p1628 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p588 <= 1)
lola: LP says that atomic proposition is always true: (p1027 <= 1)
lola: LP says that atomic proposition is always true: (p1368 <= 1)
lola: LP says that atomic proposition is always true: (p328 <= 1)
lola: LP says that atomic proposition is always true: (p2067 <= 1)
lola: LP says that atomic proposition is always true: (p1287 <= 1)
lola: LP says that atomic proposition is always true: (p2229 <= 1)
lola: LP says that atomic proposition is always true: (p1807 <= 1)
lola: LP says that atomic proposition is always true: (p149 <= 1)
lola: LP says that atomic proposition is always true: (p669 <= 1)
lola: LP says that atomic proposition is always true: (p848 <= 1)
lola: LP says that atomic proposition is always true: (p1547 <= 1)
lola: LP says that atomic proposition is always true: (p2489 <= 1)
lola: LP says that atomic proposition is always true: (p409 <= 1)
lola: LP says that atomic proposition is always true: (p1986 <= 1)
lola: LP says that atomic proposition is always true: (p1790 <= 1)
lola: LP says that atomic proposition is always true: (p230 <= 1)
lola: LP says that atomic proposition is always true: (p750 <= 1)
lola: LP says that atomic proposition is always true: (p1270 <= 1)
lola: LP says that atomic proposition is always true: (p2246 <= 1)
lola: LP says that atomic proposition is always true: (p1530 <= 1)
lola: LP says that atomic proposition is always true: (p1969 <= 1)
lola: LP says that atomic proposition is always true: (p490 <= 1)
lola: LP says that atomic proposition is always true: (p929 <= 1)
lola: LP says that atomic proposition is always true: (p2506 <= 1)
lola: LP says that atomic proposition is always true: (p51 <= 1)
lola: LP says that atomic proposition is always true: (p311 <= 1)
lola: LP says that atomic proposition is always true: (p571 <= 1)
lola: LP says that atomic proposition is always true: (p831 <= 1)
lola: LP says that atomic proposition is always true: (p1189 <= 1)
lola: LP says that atomic proposition is always true: (p1709 <= 1)
lola: LP says that atomic proposition is always true: (p2327 <= 1)
lola: LP says that atomic proposition is always true: (p2148 <= 1)
lola: LP says that atomic proposition is always true: (p1888 <= 1)
lola: LP says that atomic proposition is always true: (p1449 <= 1)
lola: LP says that atomic proposition is always true: (p1010 <= 1)
lola: LP says that atomic proposition is always true: (p2212 <= 1)
lola: LP says that atomic proposition is always true: (p1172 <= 1)
lola: LP says that atomic proposition is always true: (p1692 <= 1)
lola: LP says that atomic proposition is always true: (p132 <= 1)
lola: LP says that atomic proposition is always true: (p652 <= 1)
lola: LP says that atomic proposition is always true: (p2131 <= 1)
lola: LP says that atomic proposition is always true: (p2472 <= 1)
lola: LP says that atomic proposition is always true: (p1432 <= 1)
lola: LP says that atomic proposition is always true: (p392 <= 1)
lola: LP says that atomic proposition is always true: (p1091 <= 1)
lola: LP says that atomic proposition is always true: (p1351 <= 1)
lola: LP says that atomic proposition is always true: (p1611 <= 1)
lola: LP says that atomic proposition is always true: (p1871 <= 1)
lola: LP says that atomic proposition is always true: (p213 <= 1)
lola: LP says that atomic proposition is always true: (p733 <= 1)
lola: LP says that atomic proposition is always true: (p2293 <= 1)
lola: LP says that atomic proposition is always true: (p2553 <= 1)
lola: LP says that atomic proposition is always true: (p2050 <= 1)
lola: LP says that atomic proposition is always true: (p912 <= 1)
lola: LP says that atomic proposition is always true: (p473 <= 1)
lola: LP says that atomic proposition is always true: (p34 <= 1)
lola: LP says that atomic proposition is always true: (p294 <= 1)
lola: LP says that atomic proposition is always true: (p554 <= 1)
lola: LP says that atomic proposition is always true: (p814 <= 1)
lola: LP says that atomic proposition is always true: (p1074 <= 1)
lola: LP says that atomic proposition is always true: (p1334 <= 1)
lola: LP says that atomic proposition is always true: (p2310 <= 1)
lola: LP says that atomic proposition is always true: (p1854 <= 1)
lola: LP says that atomic proposition is always true: (p1594 <= 1)
lola: LP says that atomic proposition is always true: (p993 <= 1)
lola: LP says that atomic proposition is always true: (p2033 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p375 <= 1)
lola: LP says that atomic proposition is always true: (p635 <= 1)
lola: LP says that atomic proposition is always true: (p895 <= 1)
lola: LP says that atomic proposition is always true: (p1253 <= 1)
lola: LP says that atomic proposition is always true: (p1773 <= 1)
lola: LP says that atomic proposition is always true: (p1952 <= 1)
lola: LP says that atomic proposition is always true: (p1513 <= 1)
lola: LP says that atomic proposition is always true: (p2276 <= 1)
lola: LP says that atomic proposition is always true: (p716 <= 1)
lola: LP says that atomic proposition is always true: (p1236 <= 1)
lola: LP says that atomic proposition is always true: (p1756 <= 1)
lola: LP says that atomic proposition is always true: (p196 <= 1)
lola: LP says that atomic proposition is always true: (p2536 <= 1)
lola: LP says that atomic proposition is always true: (p1496 <= 1)
lola: LP says that atomic proposition is always true: (p456 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p277 <= 1)
lola: LP says that atomic proposition is always true: (p537 <= 1)
lola: LP says that atomic proposition is always true: (p797 <= 1)
lola: LP says that atomic proposition is always true: (p1155 <= 1)
lola: LP says that atomic proposition is always true: (p1675 <= 1)
lola: LP says that atomic proposition is always true: (p1415 <= 1)
lola: LP says that atomic proposition is always true: (p1935 <= 1)
lola: LP says that atomic proposition is always true: (p2114 <= 1)
lola: LP says that atomic proposition is always true: (p976 <= 1)
lola: LP says that atomic proposition is always true: (p1398 <= 1)
lola: LP says that atomic proposition is always true: (p1658 <= 1)
lola: LP says that atomic proposition is always true: (p1918 <= 1)
lola: LP says that atomic proposition is always true: (p98 <= 1)
lola: LP says that atomic proposition is always true: (p358 <= 1)
lola: LP says that atomic proposition is always true: (p618 <= 1)
lola: LP says that atomic proposition is always true: (p878 <= 1)
lola: LP says that atomic proposition is always true: (p1138 <= 1)
lola: LP says that atomic proposition is always true: (p1057 <= 1)
lola: LP says that atomic proposition is always true: (p2097 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p439 <= 1)
lola: LP says that atomic proposition is always true: (p699 <= 1)
lola: LP says that atomic proposition is always true: (p959 <= 1)
lola: LP says that atomic proposition is always true: (p2455 <= 1)
lola: LP says that atomic proposition is always true: (p2195 <= 1)
lola: LP says that atomic proposition is always true: (p1317 <= 1)
lola: LP says that atomic proposition is always true: (p1837 <= 1)
lola: LP says that atomic proposition is always true: (p2016 <= 1)
lola: LP says that atomic proposition is always true: (p1577 <= 1)
lola: LP says that atomic proposition is always true: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p520 <= 1)
lola: LP says that atomic proposition is always true: (p260 <= 1)
lola: LP says that atomic proposition is always true: (p780 <= 1)
lola: LP says that atomic proposition is always true: (p1300 <= 1)
lola: LP says that atomic proposition is always true: (p1820 <= 1)
lola: LP says that atomic proposition is always true: (p1560 <= 1)
lola: LP says that atomic proposition is always true: (p341 <= 1)
lola: LP says that atomic proposition is always true: (p81 <= 1)
lola: LP says that atomic proposition is always true: (p601 <= 1)
lola: LP says that atomic proposition is always true: (p861 <= 1)
lola: LP says that atomic proposition is always true: (p1219 <= 1)
lola: LP says that atomic proposition is always true: (p1479 <= 1)
lola: LP says that atomic proposition is always true: (p2161 <= 1)
lola: LP says that atomic proposition is always true: (p1739 <= 1)
lola: LP says that atomic proposition is always true: (p1999 <= 1)
lola: LP says that atomic proposition is always true: (p1040 <= 1)
lola: LP says that atomic proposition is always true: (p682 <= 1)
lola: LP says that atomic proposition is always true: (p422 <= 1)
lola: LP says that atomic proposition is always true: (p162 <= 1)
lola: LP says that atomic proposition is always true: (p942 <= 1)
lola: LP says that atomic proposition is always true: (p1202 <= 1)
lola: LP says that atomic proposition is always true: (p2438 <= 1)
lola: LP says that atomic proposition is always true: (p2178 <= 1)
lola: LP says that atomic proposition is always true: (p1722 <= 1)
lola: LP says that atomic proposition is always true: (p1462 <= 1)
lola: LP says that atomic proposition is always true: (p1982 <= 1)
lola: LP says that atomic proposition is always true: (p503 <= 1)
lola: LP says that atomic proposition is always true: (p763 <= 1)
lola: LP says that atomic proposition is always true: (p1023 <= 1)
lola: LP says that atomic proposition is always true: (p1121 <= 1)
lola: LP says that atomic proposition is always true: (p1381 <= 1)
lola: LP says that atomic proposition is always true: (p1901 <= 1)
lola: LP says that atomic proposition is always true: (p1641 <= 1)
lola: LP says that atomic proposition is always true: (p2519 <= 1)
lola: LP says that atomic proposition is always true: (p2259 <= 1)
lola: LP says that atomic proposition is always true: (p243 <= 1)
lola: LP says that atomic proposition is always true: (p2080 <= 1)
lola: LP says that atomic proposition is always true: (p1104 <= 1)
lola: LP says that atomic proposition is always true: (p844 <= 1)
lola: LP says that atomic proposition is always true: (p1364 <= 1)
lola: LP says that atomic proposition is always true: (p1884 <= 1)
lola: LP says that atomic proposition is always true: (p1624 <= 1)
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p324 <= 1)
lola: LP says that atomic proposition is always true: (p584 <= 1)
lola: LP says that atomic proposition is always true: (p1283 <= 1)
lola: LP says that atomic proposition is always true: (p1543 <= 1)
lola: LP says that atomic proposition is always true: (p2225 <= 1)
lola: LP says that atomic proposition is always true: (p1803 <= 1)
lola: LP says that atomic proposition is always true: (p2485 <= 1)
lola: LP says that atomic proposition is always true: (p2063 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p405 <= 1)
lola: LP says that atomic proposition is always true: (p925 <= 1)
lola: LP says that atomic proposition is always true: (p665 <= 1)
lola: LP says that atomic proposition is always true: (p1526 <= 1)
lola: LP says that atomic proposition is always true: (p1786 <= 1)
lola: LP says that atomic proposition is always true: (p2046 <= 1)
lola: LP says that atomic proposition is always true: (p486 <= 1)
lola: LP says that atomic proposition is always true: (p226 <= 1)
lola: LP says that atomic proposition is always true: (p746 <= 1)
lola: LP says that atomic proposition is always true: (p1266 <= 1)
lola: LP says that atomic proposition is always true: (p1006 <= 1)
lola: LP says that atomic proposition is always true: (p2502 <= 1)
lola: LP says that atomic proposition is always true: (p2242 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p1087 <= 1)
lola: LP says that atomic proposition is always true: (p1185 <= 1)
lola: LP says that atomic proposition is always true: (p1705 <= 1)
lola: LP says that atomic proposition is always true: (p1445 <= 1)
lola: LP says that atomic proposition is always true: (p1965 <= 1)
lola: LP says that atomic proposition is always true: (p307 <= 1)
lola: LP says that atomic proposition is always true: (p827 <= 1)
lola: LP says that atomic proposition is always true: (p567 <= 1)
lola: LP says that atomic proposition is always true: (p2144 <= 1)
lola: LP says that atomic proposition is always true: (p2468 <= 1)
lola: LP says that atomic proposition is always true: (p2208 <= 1)
lola: LP says that atomic proposition is always true: (p648 <= 1)
lola: LP says that atomic proposition is always true: (p908 <= 1)
lola: LP says that atomic proposition is always true: (p1168 <= 1)
lola: LP says that atomic proposition is always true: (p1688 <= 1)
lola: LP says that atomic proposition is always true: (p1428 <= 1)
lola: LP says that atomic proposition is always true: (p1948 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p388 <= 1)
lola: LP says that atomic proposition is always true: (p1867 <= 1)
lola: LP says that atomic proposition is always true: (p2127 <= 1)
lola: LP says that atomic proposition is always true: (p2549 <= 1)
lola: LP says that atomic proposition is always true: (p209 <= 1)
lola: LP says that atomic proposition is always true: (p469 <= 1)
lola: LP says that atomic proposition is always true: (p729 <= 1)
lola: LP says that atomic proposition is always true: (p989 <= 1)
lola: LP says that atomic proposition is always true: (p2289 <= 1)
lola: LP says that atomic proposition is always true: (p1347 <= 1)
lola: LP says that atomic proposition is always true: (p30 <= 1)
lola: LP says that atomic proposition is always true: (p1607 <= 1)
lola: LP says that atomic proposition is always true: (p2306 <= 1)
lola: LP says that atomic proposition is always true: (p1330 <= 1)
lola: LP says that atomic proposition is always true: (p1850 <= 1)
lola: LP says that atomic proposition is always true: (p1590 <= 1)
lola: LP says that atomic proposition is always true: (p2110 <= 1)
lola: LP says that atomic proposition is always true: (p290 <= 1)
lola: LP says that atomic proposition is always true: (p810 <= 1)
lola: LP says that atomic proposition is always true: (p111 <= 1)
lola: LP says that atomic proposition is always true: (p550 <= 1)
lola: LP says that atomic proposition is always true: (p1151 <= 1)
lola: LP says that atomic proposition is always true: (p1249 <= 1)
lola: LP says that atomic proposition is always true: (p2029 <= 1)
lola: LP says that atomic proposition is always true: (p1509 <= 1)
lola: LP says that atomic proposition is always true: (p1769 <= 1)
lola: LP says that atomic proposition is always true: (p371 <= 1)
lola: LP says that atomic proposition is always true: (p891 <= 1)
lola: LP says that atomic proposition is always true: (p631 <= 1)
lola: LP says that atomic proposition is always true: (p1070 <= 1)
lola: LP says that atomic proposition is always true: (p2532 <= 1)
lola: LP says that atomic proposition is always true: (p2012 <= 1)
lola: LP says that atomic proposition is always true: (p2272 <= 1)
lola: LP says that atomic proposition is always true: (p712 <= 1)
lola: LP says that atomic proposition is always true: (p1232 <= 1)
lola: LP says that atomic proposition is always true: (p972 <= 1)
lola: LP says that atomic proposition is always true: (p1492 <= 1)
lola: LP says that atomic proposition is always true: (p1752 <= 1)
lola: LP says that atomic proposition is always true: (p192 <= 1)
lola: LP says that atomic proposition is always true: (p452 <= 1)
lola: LP says that atomic proposition is always true: (p13 <= 1)
lola: LP says that atomic proposition is always true: (p1053 <= 1)
lola: LP says that atomic proposition is always true: (p273 <= 1)
lola: LP says that atomic proposition is always true: (p793 <= 1)
lola: LP says that atomic proposition is always true: (p1411 <= 1)
lola: LP says that atomic proposition is always true: (p1931 <= 1)
lola: LP says that atomic proposition is always true: (p533 <= 1)
lola: LP says that atomic proposition is always true: (p2174 <= 1)
lola: LP says that atomic proposition is always true: (p94 <= 1)
lola: LP says that atomic proposition is always true: (p1671 <= 1)
lola: LP says that atomic proposition is always true: (p1394 <= 1)
lola: LP says that atomic proposition is always true: (p1914 <= 1)
lola: LP says that atomic proposition is always true: (p354 <= 1)
lola: LP says that atomic proposition is always true: (p874 <= 1)
lola: LP says that atomic proposition is always true: (p175 <= 1)
lola: LP says that atomic proposition is always true: (p1215 <= 1)
lola: LP says that atomic proposition is always true: (p1654 <= 1)
lola: LP says that atomic proposition is always true: (p614 <= 1)
lola: LP says that atomic proposition is always true: (p2191 <= 1)
lola: LP says that atomic proposition is always true: (p1313 <= 1)
lola: LP says that atomic proposition is always true: (p1833 <= 1)
lola: LP says that atomic proposition is always true: (p1573 <= 1)
lola: LP says that atomic proposition is always true: (p2093 <= 1)
lola: LP says that atomic proposition is always true: (p435 <= 1)
lola: LP says that atomic proposition is always true: (p955 <= 1)
lola: LP says that atomic proposition is always true: (p2451 <= 1)
lola: LP says that atomic proposition is always true: (p695 <= 1)
lola: LP says that atomic proposition is always true: (p1134 <= 1)
lola: LP says that atomic proposition is always true: (p2076 <= 1)
lola: LP says that atomic proposition is always true: (p776 <= 1)
lola: LP says that atomic proposition is always true: (p1036 <= 1)
lola: LP says that atomic proposition is always true: (p1296 <= 1)
lola: LP says that atomic proposition is always true: (p1816 <= 1)
lola: LP says that atomic proposition is always true: (p1556 <= 1)
lola: LP says that atomic proposition is always true: (p256 <= 1)
lola: LP says that atomic proposition is always true: (p77 <= 1)
lola: LP says that atomic proposition is always true: (p516 <= 1)
lola: LP says that atomic proposition is always true: (p1117 <= 1)
lola: LP says that atomic proposition is always true: (p2157 <= 1)
lola: LP says that atomic proposition is always true: (p337 <= 1)
lola: LP says that atomic proposition is always true: (p857 <= 1)
lola: LP says that atomic proposition is always true: (p1475 <= 1)
lola: LP says that atomic proposition is always true: (p1995 <= 1)
lola: LP says that atomic proposition is always true: (p158 <= 1)
lola: LP says that atomic proposition is always true: (p597 <= 1)
lola: LP says that atomic proposition is always true: (p1735 <= 1)
lola: LP says that atomic proposition is always true: (p2238 <= 1)
lola: LP says that atomic proposition is always true: (p418 <= 1)
lola: LP says that atomic proposition is always true: (p938 <= 1)
lola: LP says that atomic proposition is always true: (p2434 <= 1)
lola: LP says that atomic proposition is always true: (p1458 <= 1)
lola: LP says that atomic proposition is always true: (p1978 <= 1)
lola: LP says that atomic proposition is always true: (p239 <= 1)
lola: LP says that atomic proposition is always true: (p678 <= 1)
lola: LP says that atomic proposition is always true: (p1279 <= 1)
lola: LP says that atomic proposition is always true: (p2255 <= 1)
lola: LP says that atomic proposition is always true: (p1718 <= 1)
lola: LP says that atomic proposition is always true: (p499 <= 1)
lola: LP says that atomic proposition is always true: (p1019 <= 1)
lola: LP says that atomic proposition is always true: (p1377 <= 1)
lola: LP says that atomic proposition is always true: (p1897 <= 1)
lola: LP says that atomic proposition is always true: (p2515 <= 1)
lola: LP says that atomic proposition is always true: (p759 <= 1)
lola: LP says that atomic proposition is always true: (p1198 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p1637 <= 1)
lola: LP says that atomic proposition is always true: (p2140 <= 1)
lola: LP says that atomic proposition is always true: (p840 <= 1)
lola: LP says that atomic proposition is always true: (p1360 <= 1)
lola: LP says that atomic proposition is always true: (p1880 <= 1)
lola: LP says that atomic proposition is always true: (p320 <= 1)
lola: LP says that atomic proposition is always true: (p580 <= 1)
lola: LP says that atomic proposition is always true: (p1181 <= 1)
lola: LP says that atomic proposition is always true: (p1620 <= 1)
lola: LP says that atomic proposition is always true: (p2221 <= 1)
lola: LP says that atomic proposition is always true: (p141 <= 1)
lola: LP says that atomic proposition is always true: (p921 <= 1)
lola: LP says that atomic proposition is always true: (p1539 <= 1)
lola: LP says that atomic proposition is always true: (p2481 <= 1)
lola: LP says that atomic proposition is always true: (p2059 <= 1)
lola: LP says that atomic proposition is always true: (p401 <= 1)
lola: LP says that atomic proposition is always true: (p1100 <= 1)
lola: LP says that atomic proposition is always true: (p2302 <= 1)
lola: LP says that atomic proposition is always true: (p222 <= 1)
lola: LP says that atomic proposition is always true: (p1799 <= 1)
lola: LP says that atomic proposition is always true: (p661 <= 1)
lola: LP says that atomic proposition is always true: (p1522 <= 1)
lola: LP says that atomic proposition is always true: (p2042 <= 1)
lola: LP says that atomic proposition is always true: (p482 <= 1)
lola: LP says that atomic proposition is always true: (p1002 <= 1)
lola: LP says that atomic proposition is always true: (p2498 <= 1)
lola: LP says that atomic proposition is always true: (p43 <= 1)
lola: LP says that atomic proposition is always true: (p303 <= 1)
lola: LP says that atomic proposition is always true: (p1083 <= 1)
lola: LP says that atomic proposition is always true: (p1343 <= 1)
lola: LP says that atomic proposition is always true: (p1782 <= 1)
lola: LP says that atomic proposition is always true: (p742 <= 1)
lola: LP says that atomic proposition is always true: (p1441 <= 1)
lola: LP says that atomic proposition is always true: (p1961 <= 1)
lola: LP says that atomic proposition is always true: (p563 <= 1)
lola: LP says that atomic proposition is always true: (p823 <= 1)
lola: LP says that atomic proposition is always true: (p1262 <= 1)
lola: LP says that atomic proposition is always true: (p1701 <= 1)
lola: LP says that atomic proposition is always true: (p124 <= 1)
lola: LP says that atomic proposition is always true: (p2464 <= 1)
lola: LP says that atomic proposition is always true: (p1944 <= 1)
lola: LP says that atomic proposition is always true: (p904 <= 1)
lola: LP says that atomic proposition is always true: (p1424 <= 1)
lola: LP says that atomic proposition is always true: (p384 <= 1)
lola: LP says that atomic proposition is always true: (p2285 <= 1)
lola: LP says that atomic proposition is always true: (p644 <= 1)
lola: LP says that atomic proposition is always true: (p1684 <= 1)
lola: LP says that atomic proposition is always true: (p205 <= 1)
lola: LP says that atomic proposition is always true: (p1245 <= 1)
lola: LP says that atomic proposition is always true: (p1603 <= 1)
lola: LP says that atomic proposition is always true: (p2123 <= 1)
lola: LP says that atomic proposition is always true: (p2545 <= 1)
lola: LP says that atomic proposition is always true: (p465 <= 1)
lola: LP says that atomic proposition is always true: (p985 <= 1)
lola: LP says that atomic proposition is always true: (p26 <= 1)
lola: LP says that atomic proposition is always true: (p286 <= 1)
lola: LP says that atomic proposition is always true: (p1863 <= 1)
lola: LP says that atomic proposition is always true: (p1164 <= 1)
lola: LP says that atomic proposition is always true: (p725 <= 1)
lola: LP says that atomic proposition is always true: (p1586 <= 1)
lola: LP says that atomic proposition is always true: (p2106 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p367 <= 1)
lola: LP says that atomic proposition is always true: (p546 <= 1)
lola: LP says that atomic proposition is always true: (p806 <= 1)
lola: LP says that atomic proposition is always true: (p1147 <= 1)
lola: LP says that atomic proposition is always true: (p1407 <= 1)
lola: LP says that atomic proposition is always true: (p1846 <= 1)
lola: LP says that atomic proposition is always true: (p2025 <= 1)
lola: LP says that atomic proposition is always true: (p1505 <= 1)
lola: LP says that atomic proposition is always true: (p627 <= 1)
lola: LP says that atomic proposition is always true: (p887 <= 1)
lola: LP says that atomic proposition is always true: (p1066 <= 1)
lola: LP says that atomic proposition is always true: (p2204 <= 1)
lola: LP says that atomic proposition is always true: (p1326 <= 1)
lola: LP says that atomic proposition is always true: (p188 <= 1)
lola: LP says that atomic proposition is always true: (p1765 <= 1)
lola: LP says that atomic proposition is always true: (p2528 <= 1)
lola: LP says that atomic proposition is always true: (p2008 <= 1)
lola: LP says that atomic proposition is always true: (p968 <= 1)
lola: LP says that atomic proposition is always true: (p1488 <= 1)
lola: LP says that atomic proposition is always true: (p448 <= 1)
lola: LP says that atomic proposition is always true: (p9 <= 1)
lola: LP says that atomic proposition is always true: (p269 <= 1)
lola: LP says that atomic proposition is always true: (p708 <= 1)
lola: LP says that atomic proposition is always true: (p1309 <= 1)
lola: LP says that atomic proposition is always true: (p1748 <= 1)
lola: LP says that atomic proposition is always true: (p1049 <= 1)
lola: LP says that atomic proposition is always true: (p529 <= 1)
lola: LP says that atomic proposition is always true: (p789 <= 1)
lola: LP says that atomic proposition is always true: (p2170 <= 1)
lola: LP says that atomic proposition is always true: (p2430 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p350 <= 1)
lola: LP says that atomic proposition is always true: (p1667 <= 1)
lola: LP says that atomic proposition is always true: (p1927 <= 1)
lola: LP says that atomic proposition is always true: (p1228 <= 1)
lola: LP says that atomic proposition is always true: (p171 <= 1)
lola: LP says that atomic proposition is always true: (p431 <= 1)
lola: LP says that atomic proposition is always true: (p1471 <= 1)
lola: LP says that atomic proposition is always true: (p1211 <= 1)
lola: LP says that atomic proposition is always true: (p1910 <= 1)
lola: LP says that atomic proposition is always true: (p1650 <= 1)
lola: LP says that atomic proposition is always true: (p610 <= 1)
lola: LP says that atomic proposition is always true: (p870 <= 1)
lola: LP says that atomic proposition is always true: (p2447 <= 1)
lola: LP says that atomic proposition is always true: (p2187 <= 1)
lola: LP says that atomic proposition is always true: (p1569 <= 1)
lola: LP says that atomic proposition is always true: (p2089 <= 1)
lola: LP says that atomic proposition is always true: (p252 <= 1)
lola: LP says that atomic proposition is always true: (p691 <= 1)
lola: LP says that atomic proposition is always true: (p951 <= 1)
lola: LP says that atomic proposition is always true: (p1390 <= 1)
lola: LP says that atomic proposition is always true: (p1130 <= 1)
lola: LP says that atomic proposition is always true: (p2268 <= 1)
lola: LP says that atomic proposition is always true: (p1829 <= 1)
lola: LP says that atomic proposition is always true: (p2072 <= 1)
lola: LP says that atomic proposition is always true: (p512 <= 1)
lola: LP says that atomic proposition is always true: (p1032 <= 1)
lola: LP says that atomic proposition is always true: (p1552 <= 1)
lola: LP says that atomic proposition is always true: (p73 <= 1)
lola: LP says that atomic proposition is always true: (p333 <= 1)
lola: LP says that atomic proposition is always true: (p1113 <= 1)
lola: LP says that atomic proposition is always true: (p1373 <= 1)
lola: LP says that atomic proposition is always true: (p2153 <= 1)
lola: LP says that atomic proposition is always true: (p772 <= 1)
lola: LP says that atomic proposition is always true: (p1812 <= 1)
lola: LP says that atomic proposition is always true: (p154 <= 1)
lola: LP says that atomic proposition is always true: (p593 <= 1)
lola: LP says that atomic proposition is always true: (p414 <= 1)
lola: LP says that atomic proposition is always true: (p853 <= 1)
lola: LP says that atomic proposition is always true: (p1731 <= 1)
lola: LP says that atomic proposition is always true: (p1991 <= 1)
lola: LP says that atomic proposition is always true: (p2494 <= 1)
lola: LP says that atomic proposition is always true: (p2234 <= 1)
lola: LP says that atomic proposition is always true: (p1292 <= 1)
lola: time limit reached - aborting
lola: memory consumption: 5039148 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished

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

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="SharedMemory-PT-000050"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is SharedMemory-PT-000050, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r186-oct2-158987939200572"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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