About the Execution of ITS-Tools for PolyORBNT-COL-S10J80
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15740.990 | 3600000.00 | 3743587.00 | 8340.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r126-tajo-158961390600626.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is PolyORBNT-COL-S10J80, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-tajo-158961390600626
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 300K
-rw-r--r-- 1 mcc users 4.7K Apr 12 06:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 12 06:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 11 07:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 11 07:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.9K Apr 10 13:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 10 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 20:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 20:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 95K Mar 24 05:37 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 PolyORBNT-COL-S10J80-00
FORMULA_NAME PolyORBNT-COL-S10J80-01
FORMULA_NAME PolyORBNT-COL-S10J80-02
FORMULA_NAME PolyORBNT-COL-S10J80-03
FORMULA_NAME PolyORBNT-COL-S10J80-04
FORMULA_NAME PolyORBNT-COL-S10J80-05
FORMULA_NAME PolyORBNT-COL-S10J80-06
FORMULA_NAME PolyORBNT-COL-S10J80-07
FORMULA_NAME PolyORBNT-COL-S10J80-08
FORMULA_NAME PolyORBNT-COL-S10J80-09
FORMULA_NAME PolyORBNT-COL-S10J80-10
FORMULA_NAME PolyORBNT-COL-S10J80-11
FORMULA_NAME PolyORBNT-COL-S10J80-12
FORMULA_NAME PolyORBNT-COL-S10J80-13
FORMULA_NAME PolyORBNT-COL-S10J80-14
FORMULA_NAME PolyORBNT-COL-S10J80-15
=== Now, execution of the tool begins
BK_START 1589841042528
[2020-05-18 22:30:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-18 22:30:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-18 22:30:44] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-05-18 22:30:44] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 662 ms
[2020-05-18 22:30:45] [INFO ] sort/places :
D4->place_482,
Threads->FetchJobB,QueueJobE,NotifyEventJobQueuedE,NotifyEventEndOfCheckSourcesE,NotifyEventEndOfCheckSourcesB,place_523,place_522,place_521,place_520,place_518,place_500,Check_Sources_E,Check_Sources_B,place_782,place_787,Perform_Work_E,Schedule_Task_B,Try_Check_Sources_E,Try_Check_Sources_B,
D5->Schedule_Task_E,
D6->CreatedJobs,
Jobs->f3,f2,f1,AvailableJobId,
Dot->block,mo3,mo2,mo1,mi3,mi2,mi1,cSources,place_462,place_460,place_458,place_456,CanInjectEvent,JobCnt,cJobCnt,
Sources->ModifiedSrc,DataOnSrc,TheSour,
D1->FetchJobE,QueueJobB,NotifyEventJobQueuedB,Perform_Work_B,
[2020-05-18 22:30:45] [INFO ] ms1 symmetric to ms3 in transition trans_489
[2020-05-18 22:30:45] [INFO ] ms3 symmetric to ms4 in transition trans_489
[2020-05-18 22:30:45] [INFO ] ms4 symmetric to ms2 in transition trans_489
[2020-05-18 22:30:45] [INFO ] ms1 symmetric to ms3 in transition trans_488
[2020-05-18 22:30:45] [INFO ] ms3 symmetric to ms2 in transition trans_488
[2020-05-18 22:30:45] [INFO ] ms1 symmetric to ms2 in transition trans_487
[2020-05-18 22:30:45] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 1694 PT places and 13742.0 transition bindings in 39 ms.
[2020-05-18 22:30:45] [INFO ] Computed order based on color domains.
[2020-05-18 22:30:45] [INFO ] Unfolded HLPN to a Petri net with 1694 places and 3470 transitions in 46 ms.
[2020-05-18 22:30:45] [INFO ] Unfolded HLPN properties in 2 ms.
Deduced a syphon composed of 80 places in 14 ms
Reduce places removed 80 places and 80 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 194 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 5597 resets, run finished after 21868 ms. (steps per millisecond=4 ) properties seen :[1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0]
[2020-05-18 22:31:07] [INFO ] Flow matrix only has 3381 transitions (discarded 9 similar events)
// Phase 1: matrix 3381 rows 1614 cols
[2020-05-18 22:31:07] [INFO ] Computed 192 place invariants in 585 ms
[2020-05-18 22:31:08] [INFO ] [Real]Absence check using 185 positive place invariants in 172 ms returned unsat
[2020-05-18 22:31:08] [INFO ] [Real]Absence check using 185 positive place invariants in 158 ms returned unsat
[2020-05-18 22:31:08] [INFO ] [Real]Absence check using 185 positive place invariants in 72 ms returned unsat
[2020-05-18 22:31:09] [INFO ] [Real]Absence check using 185 positive place invariants in 111 ms returned unsat
[2020-05-18 22:31:09] [INFO ] [Real]Absence check using 185 positive place invariants in 256 ms returned sat
[2020-05-18 22:31:09] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 22:31:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:31:22] [INFO ] [Real]Absence check using state equation in 12525 ms returned sat
[2020-05-18 22:31:22] [INFO ] State equation strengthened by 1 read => feed constraints.
[2020-05-18 22:31:22] [INFO ] [Real]Added 1 Read/Feed constraints in 55 ms returned sat
[2020-05-18 22:31:23] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 1124 ms.
[2020-05-18 22:31:24] [INFO ] Added : 6 causal constraints over 2 iterations in 1931 ms. Result :sat
[2020-05-18 22:31:25] [INFO ] [Real]Absence check using 185 positive place invariants in 173 ms returned sat
[2020-05-18 22:31:25] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 77 ms returned sat
[2020-05-18 22:31:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:31:39] [INFO ] [Real]Absence check using state equation in 14017 ms returned sat
[2020-05-18 22:31:39] [INFO ] [Real]Added 1 Read/Feed constraints in 96 ms returned sat
[2020-05-18 22:31:40] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 354 ms.
[2020-05-18 22:31:40] [INFO ] Added : 6 causal constraints over 2 iterations in 1168 ms. Result :sat
[2020-05-18 22:31:41] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:31:41] [INFO ] [Real]Absence check using 185 positive place invariants in 139 ms returned unsat
[2020-05-18 22:31:42] [INFO ] [Real]Absence check using 185 positive place invariants in 213 ms returned sat
[2020-05-18 22:31:42] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 48 ms returned sat
[2020-05-18 22:31:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:31:55] [INFO ] [Real]Absence check using state equation in 13403 ms returned sat
[2020-05-18 22:31:55] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-05-18 22:31:56] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 326 ms.
[2020-05-18 22:31:57] [INFO ] Added : 6 causal constraints over 2 iterations in 1037 ms. Result :sat
[2020-05-18 22:31:57] [INFO ] [Real]Absence check using 185 positive place invariants in 105 ms returned unsat
[2020-05-18 22:31:58] [INFO ] [Real]Absence check using 185 positive place invariants in 135 ms returned unsat
[2020-05-18 22:31:58] [INFO ] [Real]Absence check using 185 positive place invariants in 52 ms returned unsat
[2020-05-18 22:31:58] [INFO ] [Real]Absence check using 185 positive place invariants in 255 ms returned sat
[2020-05-18 22:31:58] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 66 ms returned sat
[2020-05-18 22:31:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:32:13] [INFO ] [Real]Absence check using state equation in 14750 ms returned sat
[2020-05-18 22:32:13] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-05-18 22:32:14] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 351 ms.
[2020-05-18 22:32:14] [INFO ] Added : 6 causal constraints over 2 iterations in 1092 ms. Result :sat
[2020-05-18 22:32:15] [INFO ] [Real]Absence check using 185 positive place invariants in 239 ms returned sat
[2020-05-18 22:32:15] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:32:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:32:29] [INFO ] [Real]Absence check using state equation in 13940 ms returned sat
[2020-05-18 22:32:29] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 22:32:30] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 341 ms.
[2020-05-18 22:32:30] [INFO ] Added : 6 causal constraints over 2 iterations in 954 ms. Result :sat
[2020-05-18 22:32:31] [INFO ] [Real]Absence check using 185 positive place invariants in 84 ms returned unsat
[2020-05-18 22:32:31] [INFO ] [Real]Absence check using 185 positive place invariants in 151 ms returned unsat
[2020-05-18 22:32:32] [INFO ] [Real]Absence check using 185 positive place invariants in 247 ms returned sat
[2020-05-18 22:32:32] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 22:32:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:32:44] [INFO ] [Real]Absence check using state equation in 12697 ms returned sat
[2020-05-18 22:32:45] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-05-18 22:32:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 429 ms.
[2020-05-18 22:32:46] [INFO ] Added : 6 causal constraints over 2 iterations in 1115 ms. Result :sat
[2020-05-18 22:32:46] [INFO ] [Real]Absence check using 185 positive place invariants in 137 ms returned unsat
[2020-05-18 22:32:47] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 22:32:47] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:32:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:33:00] [INFO ] [Real]Absence check using state equation in 12787 ms returned sat
[2020-05-18 22:33:00] [INFO ] [Real]Added 1 Read/Feed constraints in 72 ms returned sat
[2020-05-18 22:33:00] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 314 ms.
[2020-05-18 22:33:01] [INFO ] Added : 6 causal constraints over 2 iterations in 1020 ms. Result :sat
[2020-05-18 22:33:01] [INFO ] [Real]Absence check using 185 positive place invariants in 70 ms returned unsat
[2020-05-18 22:33:02] [INFO ] [Real]Absence check using 185 positive place invariants in 232 ms returned sat
[2020-05-18 22:33:02] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 34 ms returned unsat
[2020-05-18 22:33:02] [INFO ] [Real]Absence check using 185 positive place invariants in 34 ms returned unsat
[2020-05-18 22:33:02] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 22:33:03] [INFO ] [Real]Absence check using 185 positive place invariants in 118 ms returned unsat
[2020-05-18 22:33:03] [INFO ] [Real]Absence check using 185 positive place invariants in 236 ms returned sat
[2020-05-18 22:33:03] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 60 ms returned sat
[2020-05-18 22:33:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:33:16] [INFO ] [Real]Absence check using state equation in 12563 ms returned sat
[2020-05-18 22:33:16] [INFO ] [Real]Added 1 Read/Feed constraints in 92 ms returned sat
[2020-05-18 22:33:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 353 ms.
[2020-05-18 22:33:17] [INFO ] Added : 6 causal constraints over 2 iterations in 1101 ms. Result :sat
[2020-05-18 22:33:18] [INFO ] [Real]Absence check using 185 positive place invariants in 94 ms returned unsat
[2020-05-18 22:33:18] [INFO ] [Real]Absence check using 185 positive place invariants in 81 ms returned unsat
[2020-05-18 22:33:18] [INFO ] [Real]Absence check using 185 positive place invariants in 143 ms returned unsat
[2020-05-18 22:33:19] [INFO ] [Real]Absence check using 185 positive place invariants in 241 ms returned sat
[2020-05-18 22:33:19] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 45 ms returned unsat
[2020-05-18 22:33:19] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 22:33:19] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 22:33:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:33:31] [INFO ] [Real]Absence check using state equation in 11649 ms returned sat
[2020-05-18 22:33:31] [INFO ] [Real]Added 1 Read/Feed constraints in 80 ms returned sat
[2020-05-18 22:33:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 294 ms.
[2020-05-18 22:33:32] [INFO ] Added : 6 causal constraints over 2 iterations in 1038 ms. Result :sat
[2020-05-18 22:33:33] [INFO ] [Real]Absence check using 185 positive place invariants in 51 ms returned unsat
[2020-05-18 22:33:33] [INFO ] [Real]Absence check using 185 positive place invariants in 110 ms returned unsat
[2020-05-18 22:33:33] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:33:34] [INFO ] [Real]Absence check using 185 positive place invariants in 248 ms returned sat
[2020-05-18 22:33:34] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:33:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:33:45] [INFO ] [Real]Absence check using state equation in 11515 ms returned sat
[2020-05-18 22:33:45] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 22:33:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 285 ms.
[2020-05-18 22:33:47] [INFO ] Added : 6 causal constraints over 2 iterations in 1094 ms. Result :sat
[2020-05-18 22:33:47] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 22:33:47] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 22:33:48] [INFO ] [Real]Absence check using 185 positive place invariants in 49 ms returned unsat
[2020-05-18 22:33:48] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:33:48] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 22:33:48] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 54 ms returned sat
[2020-05-18 22:33:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:34:01] [INFO ] [Real]Absence check using state equation in 12328 ms returned sat
[2020-05-18 22:34:01] [INFO ] [Real]Added 1 Read/Feed constraints in 79 ms returned sat
[2020-05-18 22:34:01] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 489 ms.
[2020-05-18 22:34:02] [INFO ] Added : 6 causal constraints over 2 iterations in 1364 ms. Result :sat
[2020-05-18 22:34:03] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 22:34:03] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 22:34:03] [INFO ] [Real]Absence check using 185 positive place invariants in 234 ms returned sat
[2020-05-18 22:34:03] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:34:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:34:15] [INFO ] [Real]Absence check using state equation in 11288 ms returned sat
[2020-05-18 22:34:15] [INFO ] [Real]Added 1 Read/Feed constraints in 74 ms returned sat
[2020-05-18 22:34:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 281 ms.
[2020-05-18 22:34:16] [INFO ] Added : 6 causal constraints over 2 iterations in 942 ms. Result :sat
[2020-05-18 22:34:16] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 22:34:17] [INFO ] [Real]Absence check using 185 positive place invariants in 87 ms returned unsat
[2020-05-18 22:34:17] [INFO ] [Real]Absence check using 185 positive place invariants in 86 ms returned unsat
[2020-05-18 22:34:17] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 22:34:17] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 83 ms returned sat
[2020-05-18 22:34:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:34:32] [INFO ] [Real]Absence check using state equation in 14422 ms returned sat
[2020-05-18 22:34:32] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 22:34:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 389 ms.
[2020-05-18 22:34:33] [INFO ] Added : 6 causal constraints over 2 iterations in 1104 ms. Result :sat
[2020-05-18 22:34:34] [INFO ] [Real]Absence check using 185 positive place invariants in 70 ms returned unsat
[2020-05-18 22:34:34] [INFO ] [Real]Absence check using 185 positive place invariants in 283 ms returned sat
[2020-05-18 22:34:34] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 35 ms returned unsat
[2020-05-18 22:34:35] [INFO ] [Real]Absence check using 185 positive place invariants in 136 ms returned unsat
[2020-05-18 22:34:35] [INFO ] [Real]Absence check using 185 positive place invariants in 50 ms returned unsat
[2020-05-18 22:34:35] [INFO ] [Real]Absence check using 185 positive place invariants in 80 ms returned unsat
[2020-05-18 22:34:35] [INFO ] [Real]Absence check using 185 positive place invariants in 94 ms returned unsat
[2020-05-18 22:34:36] [INFO ] [Real]Absence check using 185 positive place invariants in 137 ms returned unsat
[2020-05-18 22:34:36] [INFO ] [Real]Absence check using 185 positive place invariants in 49 ms returned unsat
[2020-05-18 22:34:36] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 22:34:37] [INFO ] [Real]Absence check using 185 positive place invariants in 236 ms returned sat
[2020-05-18 22:34:37] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 22:34:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:34:50] [INFO ] [Real]Absence check using state equation in 12867 ms returned sat
[2020-05-18 22:34:50] [INFO ] [Real]Added 1 Read/Feed constraints in 74 ms returned sat
[2020-05-18 22:34:50] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 299 ms.
[2020-05-18 22:34:51] [INFO ] Added : 6 causal constraints over 2 iterations in 959 ms. Result :sat
[2020-05-18 22:34:51] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 22:34:51] [INFO ] [Real]Absence check using 185 positive place invariants in 130 ms returned unsat
[2020-05-18 22:34:52] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 22:34:52] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 22:34:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:35:04] [INFO ] [Real]Absence check using state equation in 11873 ms returned sat
[2020-05-18 22:35:04] [INFO ] [Real]Added 1 Read/Feed constraints in 79 ms returned sat
[2020-05-18 22:35:04] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 291 ms.
[2020-05-18 22:35:05] [INFO ] Added : 6 causal constraints over 2 iterations in 983 ms. Result :sat
[2020-05-18 22:35:06] [INFO ] [Real]Absence check using 185 positive place invariants in 225 ms returned sat
[2020-05-18 22:35:06] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:35:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:35:19] [INFO ] [Real]Absence check using state equation in 13601 ms returned sat
[2020-05-18 22:35:19] [INFO ] [Real]Added 1 Read/Feed constraints in 87 ms returned sat
[2020-05-18 22:35:20] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 382 ms.
[2020-05-18 22:35:21] [INFO ] Added : 6 causal constraints over 2 iterations in 1102 ms. Result :sat
[2020-05-18 22:35:21] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 22:35:21] [INFO ] [Real]Absence check using 185 positive place invariants in 80 ms returned unsat
[2020-05-18 22:35:22] [INFO ] [Real]Absence check using 185 positive place invariants in 210 ms returned sat
[2020-05-18 22:35:22] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 26 ms returned unsat
[2020-05-18 22:35:22] [INFO ] [Real]Absence check using 185 positive place invariants in 190 ms returned sat
[2020-05-18 22:35:22] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 43 ms returned sat
[2020-05-18 22:35:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:35:34] [INFO ] [Real]Absence check using state equation in 11426 ms returned sat
[2020-05-18 22:35:34] [INFO ] [Real]Added 1 Read/Feed constraints in 84 ms returned sat
[2020-05-18 22:35:34] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 279 ms.
[2020-05-18 22:35:35] [INFO ] Added : 6 causal constraints over 2 iterations in 995 ms. Result :sat
[2020-05-18 22:35:35] [INFO ] [Real]Absence check using 185 positive place invariants in 148 ms returned unsat
[2020-05-18 22:35:36] [INFO ] [Real]Absence check using 185 positive place invariants in 52 ms returned unsat
[2020-05-18 22:35:36] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 22:35:36] [INFO ] [Real]Absence check using 185 positive place invariants in 59 ms returned unsat
[2020-05-18 22:35:37] [INFO ] [Real]Absence check using 185 positive place invariants in 208 ms returned sat
[2020-05-18 22:35:37] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 97 ms returned sat
[2020-05-18 22:35:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:35:47] [INFO ] [Real]Absence check using state equation in 10667 ms returned sat
[2020-05-18 22:35:47] [INFO ] [Real]Added 1 Read/Feed constraints in 79 ms returned sat
[2020-05-18 22:35:48] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 284 ms.
[2020-05-18 22:35:49] [INFO ] Added : 6 causal constraints over 2 iterations in 1185 ms. Result :sat
[2020-05-18 22:35:49] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 22:35:50] [INFO ] [Real]Absence check using 185 positive place invariants in 220 ms returned sat
[2020-05-18 22:35:50] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 22:35:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:36:02] [INFO ] [Real]Absence check using state equation in 12401 ms returned sat
[2020-05-18 22:36:02] [INFO ] [Real]Added 1 Read/Feed constraints in 60 ms returned sat
[2020-05-18 22:36:03] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 248 ms.
[2020-05-18 22:36:03] [INFO ] Added : 6 causal constraints over 2 iterations in 860 ms. Result :sat
[2020-05-18 22:36:04] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 22:36:04] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 60 ms returned sat
[2020-05-18 22:36:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:36:15] [INFO ] [Real]Absence check using state equation in 10791 ms returned sat
[2020-05-18 22:36:15] [INFO ] [Real]Added 1 Read/Feed constraints in 80 ms returned sat
[2020-05-18 22:36:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 339 ms.
[2020-05-18 22:36:16] [INFO ] Added : 6 causal constraints over 2 iterations in 1114 ms. Result :sat
[2020-05-18 22:36:17] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 22:36:17] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 22:36:17] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 22:36:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:36:29] [INFO ] [Real]Absence check using state equation in 11536 ms returned sat
[2020-05-18 22:36:29] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 22:36:29] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 369 ms.
[2020-05-18 22:36:30] [INFO ] Added : 6 causal constraints over 2 iterations in 1016 ms. Result :sat
[2020-05-18 22:36:30] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:36:31] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 22:36:31] [INFO ] [Real]Absence check using 185 positive place invariants in 130 ms returned unsat
[2020-05-18 22:36:31] [INFO ] [Real]Absence check using 185 positive place invariants in 208 ms returned sat
[2020-05-18 22:36:31] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 46 ms returned sat
[2020-05-18 22:36:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:36:43] [INFO ] [Real]Absence check using state equation in 11200 ms returned sat
[2020-05-18 22:36:43] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-05-18 22:36:43] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 281 ms.
[2020-05-18 22:36:44] [INFO ] Added : 6 causal constraints over 2 iterations in 1076 ms. Result :sat
[2020-05-18 22:36:44] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 22:36:45] [INFO ] [Real]Absence check using 185 positive place invariants in 82 ms returned unsat
[2020-05-18 22:36:45] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 22:36:45] [INFO ] [Real]Absence check using 185 positive place invariants in 244 ms returned sat
[2020-05-18 22:36:45] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 36 ms returned unsat
[2020-05-18 22:36:46] [INFO ] [Real]Absence check using 185 positive place invariants in 80 ms returned unsat
[2020-05-18 22:36:46] [INFO ] [Real]Absence check using 185 positive place invariants in 239 ms returned sat
[2020-05-18 22:36:46] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 67 ms returned sat
[2020-05-18 22:36:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:36:59] [INFO ] [Real]Absence check using state equation in 12511 ms returned sat
[2020-05-18 22:36:59] [INFO ] [Real]Added 1 Read/Feed constraints in 90 ms returned sat
[2020-05-18 22:37:00] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 548 ms.
[2020-05-18 22:37:00] [INFO ] Added : 6 causal constraints over 2 iterations in 1092 ms. Result :sat
[2020-05-18 22:37:01] [INFO ] [Real]Absence check using 185 positive place invariants in 230 ms returned sat
[2020-05-18 22:37:01] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 63 ms returned sat
[2020-05-18 22:37:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:37:11] [INFO ] [Real]Absence check using state equation in 10343 ms returned sat
[2020-05-18 22:37:11] [INFO ] [Real]Added 1 Read/Feed constraints in 90 ms returned sat
[2020-05-18 22:37:12] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 284 ms.
[2020-05-18 22:37:13] [INFO ] Added : 6 causal constraints over 2 iterations in 1048 ms. Result :sat
[2020-05-18 22:37:13] [INFO ] [Real]Absence check using 185 positive place invariants in 44 ms returned unsat
[2020-05-18 22:37:13] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 22:37:14] [INFO ] [Real]Absence check using 185 positive place invariants in 174 ms returned sat
[2020-05-18 22:37:14] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 22:37:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:37:26] [INFO ] [Real]Absence check using state equation in 11916 ms returned sat
[2020-05-18 22:37:26] [INFO ] [Real]Added 1 Read/Feed constraints in 61 ms returned sat
[2020-05-18 22:37:26] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 287 ms.
[2020-05-18 22:37:27] [INFO ] Added : 6 causal constraints over 2 iterations in 1069 ms. Result :sat
[2020-05-18 22:37:27] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 22:37:28] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 22:37:28] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 70 ms returned sat
[2020-05-18 22:37:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:37:40] [INFO ] [Real]Absence check using state equation in 12243 ms returned sat
[2020-05-18 22:37:40] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-05-18 22:37:41] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 254 ms.
[2020-05-18 22:37:41] [INFO ] Added : 6 causal constraints over 2 iterations in 819 ms. Result :sat
[2020-05-18 22:37:42] [INFO ] [Real]Absence check using 185 positive place invariants in 50 ms returned unsat
[2020-05-18 22:37:42] [INFO ] [Real]Absence check using 185 positive place invariants in 113 ms returned unsat
[2020-05-18 22:37:42] [INFO ] [Real]Absence check using 185 positive place invariants in 238 ms returned sat
[2020-05-18 22:37:43] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 70 ms returned sat
[2020-05-18 22:37:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:37:55] [INFO ] [Real]Absence check using state equation in 12194 ms returned sat
[2020-05-18 22:37:55] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-05-18 22:37:55] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 269 ms.
[2020-05-18 22:37:56] [INFO ] Added : 6 causal constraints over 2 iterations in 951 ms. Result :sat
[2020-05-18 22:37:56] [INFO ] [Real]Absence check using 185 positive place invariants in 127 ms returned unsat
[2020-05-18 22:37:57] [INFO ] [Real]Absence check using 185 positive place invariants in 218 ms returned sat
[2020-05-18 22:37:57] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:37:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:38:07] [INFO ] [Real]Absence check using state equation in 10536 ms returned sat
[2020-05-18 22:38:08] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 22:38:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 521 ms.
[2020-05-18 22:38:09] [INFO ] Added : 6 causal constraints over 2 iterations in 1343 ms. Result :sat
[2020-05-18 22:38:10] [INFO ] [Real]Absence check using 185 positive place invariants in 242 ms returned sat
[2020-05-18 22:38:10] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 60 ms returned sat
[2020-05-18 22:38:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:38:21] [INFO ] [Real]Absence check using state equation in 10766 ms returned sat
[2020-05-18 22:38:21] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-05-18 22:38:21] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 246 ms.
[2020-05-18 22:38:22] [INFO ] Added : 6 causal constraints over 2 iterations in 927 ms. Result :sat
[2020-05-18 22:38:22] [INFO ] [Real]Absence check using 185 positive place invariants in 249 ms returned sat
[2020-05-18 22:38:22] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 34 ms returned unsat
[2020-05-18 22:38:23] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 22:38:23] [INFO ] [Real]Absence check using 185 positive place invariants in 82 ms returned unsat
[2020-05-18 22:38:23] [INFO ] [Real]Absence check using 185 positive place invariants in 108 ms returned unsat
[2020-05-18 22:38:23] [INFO ] [Real]Absence check using 185 positive place invariants in 35 ms returned unsat
[2020-05-18 22:38:24] [INFO ] [Real]Absence check using 185 positive place invariants in 169 ms returned sat
[2020-05-18 22:38:24] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 41 ms returned sat
[2020-05-18 22:38:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:38:34] [INFO ] [Real]Absence check using state equation in 10600 ms returned sat
[2020-05-18 22:38:34] [INFO ] [Real]Added 1 Read/Feed constraints in 48 ms returned sat
[2020-05-18 22:38:35] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 255 ms.
[2020-05-18 22:38:36] [INFO ] Added : 6 causal constraints over 2 iterations in 1041 ms. Result :sat
[2020-05-18 22:38:36] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 22:38:36] [INFO ] [Real]Absence check using 185 positive place invariants in 77 ms returned unsat
[2020-05-18 22:38:37] [INFO ] [Real]Absence check using 185 positive place invariants in 71 ms returned unsat
[2020-05-18 22:38:37] [INFO ] [Real]Absence check using 185 positive place invariants in 237 ms returned sat
[2020-05-18 22:38:37] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 63 ms returned sat
[2020-05-18 22:38:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:38:49] [INFO ] [Real]Absence check using state equation in 11758 ms returned sat
[2020-05-18 22:38:49] [INFO ] [Real]Added 1 Read/Feed constraints in 105 ms returned sat
[2020-05-18 22:38:49] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 291 ms.
[2020-05-18 22:38:50] [INFO ] Added : 6 causal constraints over 2 iterations in 953 ms. Result :sat
[2020-05-18 22:38:51] [INFO ] [Real]Absence check using 185 positive place invariants in 139 ms returned unsat
[2020-05-18 22:38:51] [INFO ] [Real]Absence check using 185 positive place invariants in 257 ms returned sat
[2020-05-18 22:38:51] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 22:38:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:39:02] [INFO ] [Real]Absence check using state equation in 10497 ms returned sat
[2020-05-18 22:39:02] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-05-18 22:39:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 445 ms.
[2020-05-18 22:39:03] [INFO ] Added : 6 causal constraints over 2 iterations in 1161 ms. Result :sat
[2020-05-18 22:39:04] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 22:39:04] [INFO ] [Real]Absence check using 185 positive place invariants in 234 ms returned sat
[2020-05-18 22:39:04] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 53 ms returned sat
[2020-05-18 22:39:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:39:15] [INFO ] [Real]Absence check using state equation in 11110 ms returned sat
[2020-05-18 22:39:15] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 22:39:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 285 ms.
[2020-05-18 22:39:16] [INFO ] Added : 6 causal constraints over 2 iterations in 941 ms. Result :sat
[2020-05-18 22:39:17] [INFO ] [Real]Absence check using 185 positive place invariants in 87 ms returned unsat
[2020-05-18 22:39:17] [INFO ] [Real]Absence check using 185 positive place invariants in 86 ms returned unsat
[2020-05-18 22:39:17] [INFO ] [Real]Absence check using 185 positive place invariants in 31 ms returned unsat
[2020-05-18 22:39:18] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:39:18] [INFO ] [Real]Absence check using 185 positive place invariants in 241 ms returned sat
[2020-05-18 22:39:18] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:39:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:39:31] [INFO ] [Real]Absence check using state equation in 12684 ms returned sat
[2020-05-18 22:39:31] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-05-18 22:39:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 434 ms.
[2020-05-18 22:39:32] [INFO ] Added : 6 causal constraints over 2 iterations in 1190 ms. Result :sat
[2020-05-18 22:39:33] [INFO ] [Real]Absence check using 185 positive place invariants in 31 ms returned unsat
[2020-05-18 22:39:33] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 22:39:33] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 22:39:33] [INFO ] [Real]Absence check using 185 positive place invariants in 31 ms returned unsat
[2020-05-18 22:39:34] [INFO ] [Real]Absence check using 185 positive place invariants in 181 ms returned sat
[2020-05-18 22:39:34] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 41 ms returned sat
[2020-05-18 22:39:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:39:46] [INFO ] [Real]Absence check using state equation in 12467 ms returned sat
[2020-05-18 22:39:46] [INFO ] [Real]Added 1 Read/Feed constraints in 57 ms returned sat
[2020-05-18 22:39:47] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 345 ms.
[2020-05-18 22:39:48] [INFO ] Added : 6 causal constraints over 2 iterations in 1022 ms. Result :sat
[2020-05-18 22:39:48] [INFO ] [Real]Absence check using 185 positive place invariants in 252 ms returned sat
[2020-05-18 22:39:48] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 70 ms returned sat
[2020-05-18 22:39:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:40:02] [INFO ] [Real]Absence check using state equation in 13161 ms returned sat
[2020-05-18 22:40:02] [INFO ] [Real]Added 1 Read/Feed constraints in 76 ms returned sat
[2020-05-18 22:40:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 467 ms.
[2020-05-18 22:40:03] [INFO ] Added : 6 causal constraints over 2 iterations in 1200 ms. Result :sat
[2020-05-18 22:40:04] [INFO ] [Real]Absence check using 185 positive place invariants in 231 ms returned sat
[2020-05-18 22:40:04] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 22:40:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:40:15] [INFO ] [Real]Absence check using state equation in 11391 ms returned sat
[2020-05-18 22:40:15] [INFO ] [Real]Added 1 Read/Feed constraints in 47 ms returned sat
[2020-05-18 22:40:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 278 ms.
[2020-05-18 22:40:16] [INFO ] Added : 6 causal constraints over 2 iterations in 977 ms. Result :sat
[2020-05-18 22:40:17] [INFO ] [Real]Absence check using 185 positive place invariants in 163 ms returned sat
[2020-05-18 22:40:17] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 38 ms returned sat
[2020-05-18 22:40:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:40:28] [INFO ] [Real]Absence check using state equation in 10604 ms returned sat
[2020-05-18 22:40:28] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-05-18 22:40:28] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 518 ms.
[2020-05-18 22:40:29] [INFO ] Added : 6 causal constraints over 2 iterations in 1124 ms. Result :sat
[2020-05-18 22:40:30] [INFO ] [Real]Absence check using 185 positive place invariants in 131 ms returned unsat
[2020-05-18 22:40:30] [INFO ] [Real]Absence check using 185 positive place invariants in 87 ms returned unsat
[2020-05-18 22:40:30] [INFO ] [Real]Absence check using 185 positive place invariants in 132 ms returned unsat
[2020-05-18 22:40:30] [INFO ] [Real]Absence check using 185 positive place invariants in 123 ms returned unsat
[2020-05-18 22:40:31] [INFO ] [Real]Absence check using 185 positive place invariants in 49 ms returned unsat
[2020-05-18 22:40:31] [INFO ] [Real]Absence check using 185 positive place invariants in 133 ms returned unsat
[2020-05-18 22:40:31] [INFO ] [Real]Absence check using 185 positive place invariants in 183 ms returned sat
[2020-05-18 22:40:31] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 24 ms returned unsat
[2020-05-18 22:40:31] [INFO ] [Real]Absence check using 185 positive place invariants in 100 ms returned unsat
[2020-05-18 22:40:32] [INFO ] [Real]Absence check using 185 positive place invariants in 231 ms returned sat
[2020-05-18 22:40:32] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 22:40:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:40:46] [INFO ] [Real]Absence check using state equation in 13627 ms returned sat
[2020-05-18 22:40:46] [INFO ] [Real]Added 1 Read/Feed constraints in 87 ms returned sat
[2020-05-18 22:40:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 296 ms.
[2020-05-18 22:40:47] [INFO ] Added : 6 causal constraints over 2 iterations in 1155 ms. Result :sat
[2020-05-18 22:40:47] [INFO ] [Real]Absence check using 185 positive place invariants in 87 ms returned unsat
[2020-05-18 22:40:48] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:40:48] [INFO ] [Real]Absence check using 185 positive place invariants in 142 ms returned unsat
[2020-05-18 22:40:48] [INFO ] [Real]Absence check using 185 positive place invariants in 63 ms returned unsat
[2020-05-18 22:40:49] [INFO ] [Real]Absence check using 185 positive place invariants in 138 ms returned unsat
[2020-05-18 22:40:49] [INFO ] [Real]Absence check using 185 positive place invariants in 178 ms returned sat
[2020-05-18 22:40:49] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 54 ms returned sat
[2020-05-18 22:40:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:41:00] [INFO ] [Real]Absence check using state equation in 11516 ms returned sat
[2020-05-18 22:41:01] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 22:41:01] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 438 ms.
[2020-05-18 22:41:02] [INFO ] Added : 6 causal constraints over 2 iterations in 1147 ms. Result :sat
[2020-05-18 22:41:02] [INFO ] [Real]Absence check using 185 positive place invariants in 66 ms returned unsat
[2020-05-18 22:41:03] [INFO ] [Real]Absence check using 185 positive place invariants in 50 ms returned unsat
[2020-05-18 22:41:03] [INFO ] [Real]Absence check using 185 positive place invariants in 46 ms returned unsat
[2020-05-18 22:41:03] [INFO ] [Real]Absence check using 185 positive place invariants in 46 ms returned unsat
[2020-05-18 22:41:03] [INFO ] [Real]Absence check using 185 positive place invariants in 76 ms returned unsat
[2020-05-18 22:41:04] [INFO ] [Real]Absence check using 185 positive place invariants in 143 ms returned unsat
[2020-05-18 22:41:04] [INFO ] [Real]Absence check using 185 positive place invariants in 245 ms returned sat
[2020-05-18 22:41:04] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 22:41:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:41:16] [INFO ] [Real]Absence check using state equation in 12415 ms returned sat
[2020-05-18 22:41:17] [INFO ] [Real]Added 1 Read/Feed constraints in 84 ms returned sat
[2020-05-18 22:41:17] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 308 ms.
[2020-05-18 22:41:18] [INFO ] Added : 6 causal constraints over 2 iterations in 1034 ms. Result :sat
[2020-05-18 22:41:18] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 22:41:19] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 79 ms returned sat
[2020-05-18 22:41:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:41:30] [INFO ] [Real]Absence check using state equation in 11452 ms returned sat
[2020-05-18 22:41:30] [INFO ] [Real]Added 1 Read/Feed constraints in 60 ms returned sat
[2020-05-18 22:41:31] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 390 ms.
[2020-05-18 22:41:31] [INFO ] Added : 6 causal constraints over 2 iterations in 1021 ms. Result :sat
[2020-05-18 22:41:32] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 22:41:32] [INFO ] [Real]Absence check using 185 positive place invariants in 231 ms returned sat
[2020-05-18 22:41:32] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 33 ms returned unsat
[2020-05-18 22:41:33] [INFO ] [Real]Absence check using 185 positive place invariants in 214 ms returned sat
[2020-05-18 22:41:33] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 22:41:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:41:44] [INFO ] [Real]Absence check using state equation in 11407 ms returned sat
[2020-05-18 22:41:44] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 22:41:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 269 ms.
[2020-05-18 22:41:45] [INFO ] Added : 6 causal constraints over 2 iterations in 1084 ms. Result :sat
[2020-05-18 22:41:46] [INFO ] [Real]Absence check using 185 positive place invariants in 51 ms returned unsat
[2020-05-18 22:41:46] [INFO ] [Real]Absence check using 185 positive place invariants in 225 ms returned sat
[2020-05-18 22:41:46] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 22:41:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:41:58] [INFO ] [Real]Absence check using state equation in 11187 ms returned sat
[2020-05-18 22:41:58] [INFO ] [Real]Added 1 Read/Feed constraints in 92 ms returned sat
[2020-05-18 22:41:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 453 ms.
[2020-05-18 22:41:59] [INFO ] Added : 6 causal constraints over 2 iterations in 1353 ms. Result :sat
[2020-05-18 22:42:00] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 22:42:00] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:42:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:42:12] [INFO ] [Real]Absence check using state equation in 11588 ms returned sat
[2020-05-18 22:42:12] [INFO ] [Real]Added 1 Read/Feed constraints in 89 ms returned sat
[2020-05-18 22:42:12] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 286 ms.
[2020-05-18 22:42:13] [INFO ] Added : 6 causal constraints over 2 iterations in 1097 ms. Result :sat
[2020-05-18 22:42:13] [INFO ] [Real]Absence check using 185 positive place invariants in 103 ms returned unsat
[2020-05-18 22:42:14] [INFO ] [Real]Absence check using 185 positive place invariants in 86 ms returned unsat
[2020-05-18 22:42:14] [INFO ] [Real]Absence check using 185 positive place invariants in 229 ms returned sat
[2020-05-18 22:42:14] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 35 ms returned unsat
[2020-05-18 22:42:15] [INFO ] [Real]Absence check using 185 positive place invariants in 243 ms returned sat
[2020-05-18 22:42:15] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 22:42:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:42:27] [INFO ] [Real]Absence check using state equation in 11918 ms returned sat
[2020-05-18 22:42:27] [INFO ] [Real]Added 1 Read/Feed constraints in 84 ms returned sat
[2020-05-18 22:42:27] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 560 ms.
[2020-05-18 22:42:28] [INFO ] Added : 6 causal constraints over 2 iterations in 1477 ms. Result :sat
[2020-05-18 22:42:29] [INFO ] [Real]Absence check using 185 positive place invariants in 75 ms returned unsat
[2020-05-18 22:42:29] [INFO ] [Real]Absence check using 185 positive place invariants in 111 ms returned unsat
[2020-05-18 22:42:29] [INFO ] [Real]Absence check using 185 positive place invariants in 81 ms returned unsat
[2020-05-18 22:42:30] [INFO ] [Real]Absence check using 185 positive place invariants in 242 ms returned sat
[2020-05-18 22:42:30] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 68 ms returned sat
[2020-05-18 22:42:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:42:42] [INFO ] [Real]Absence check using state equation in 12072 ms returned sat
[2020-05-18 22:42:42] [INFO ] [Real]Added 1 Read/Feed constraints in 74 ms returned sat
[2020-05-18 22:42:43] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 321 ms.
[2020-05-18 22:42:43] [INFO ] Added : 6 causal constraints over 2 iterations in 1024 ms. Result :sat
[2020-05-18 22:42:44] [INFO ] [Real]Absence check using 185 positive place invariants in 136 ms returned unsat
[2020-05-18 22:42:44] [INFO ] [Real]Absence check using 185 positive place invariants in 52 ms returned unsat
[2020-05-18 22:42:45] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 22:42:45] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 73 ms returned sat
[2020-05-18 22:42:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:42:57] [INFO ] [Real]Absence check using state equation in 12105 ms returned sat
[2020-05-18 22:42:57] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 22:42:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 500 ms.
[2020-05-18 22:42:58] [INFO ] Added : 6 causal constraints over 2 iterations in 1380 ms. Result :sat
[2020-05-18 22:42:59] [INFO ] [Real]Absence check using 185 positive place invariants in 88 ms returned unsat
[2020-05-18 22:42:59] [INFO ] [Real]Absence check using 185 positive place invariants in 66 ms returned unsat
[2020-05-18 22:43:00] [INFO ] [Real]Absence check using 185 positive place invariants in 131 ms returned unsat
[2020-05-18 22:43:00] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 22:43:00] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 83 ms returned sat
[2020-05-18 22:43:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:43:12] [INFO ] [Real]Absence check using state equation in 11729 ms returned sat
[2020-05-18 22:43:12] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-05-18 22:43:12] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 307 ms.
[2020-05-18 22:43:13] [INFO ] Added : 6 causal constraints over 2 iterations in 950 ms. Result :sat
[2020-05-18 22:43:13] [INFO ] [Real]Absence check using 185 positive place invariants in 63 ms returned unsat
[2020-05-18 22:43:14] [INFO ] [Real]Absence check using 185 positive place invariants in 84 ms returned unsat
[2020-05-18 22:43:14] [INFO ] [Real]Absence check using 185 positive place invariants in 50 ms returned unsat
[2020-05-18 22:43:14] [INFO ] [Real]Absence check using 185 positive place invariants in 258 ms returned sat
[2020-05-18 22:43:14] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 44 ms returned sat
[2020-05-18 22:43:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:43:26] [INFO ] [Real]Absence check using state equation in 11333 ms returned sat
[2020-05-18 22:43:26] [INFO ] [Real]Added 1 Read/Feed constraints in 81 ms returned sat
[2020-05-18 22:43:26] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 373 ms.
[2020-05-18 22:43:27] [INFO ] Added : 6 causal constraints over 2 iterations in 1115 ms. Result :sat
[2020-05-18 22:43:28] [INFO ] [Real]Absence check using 185 positive place invariants in 41 ms returned unsat
[2020-05-18 22:43:28] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:43:28] [INFO ] [Real]Absence check using 185 positive place invariants in 70 ms returned unsat
[2020-05-18 22:43:28] [INFO ] [Real]Absence check using 185 positive place invariants in 69 ms returned unsat
[2020-05-18 22:43:29] [INFO ] [Real]Absence check using 185 positive place invariants in 96 ms returned unsat
[2020-05-18 22:43:29] [INFO ] [Real]Absence check using 185 positive place invariants in 47 ms returned unsat
[2020-05-18 22:43:29] [INFO ] [Real]Absence check using 185 positive place invariants in 48 ms returned unsat
[2020-05-18 22:43:29] [INFO ] [Real]Absence check using 185 positive place invariants in 95 ms returned unsat
[2020-05-18 22:43:30] [INFO ] [Real]Absence check using 185 positive place invariants in 31 ms returned unsat
[2020-05-18 22:43:30] [INFO ] [Real]Absence check using 185 positive place invariants in 167 ms returned sat
[2020-05-18 22:43:30] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 38 ms returned sat
[2020-05-18 22:43:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:43:44] [INFO ] [Real]Absence check using state equation in 14113 ms returned sat
[2020-05-18 22:43:44] [INFO ] [Real]Added 1 Read/Feed constraints in 54 ms returned sat
[2020-05-18 22:43:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 304 ms.
[2020-05-18 22:43:45] [INFO ] Added : 6 causal constraints over 2 iterations in 881 ms. Result :sat
[2020-05-18 22:43:46] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 22:43:46] [INFO ] [Real]Absence check using 185 positive place invariants in 76 ms returned unsat
[2020-05-18 22:43:46] [INFO ] [Real]Absence check using 185 positive place invariants in 210 ms returned sat
[2020-05-18 22:43:46] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 44 ms returned sat
[2020-05-18 22:43:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:43:58] [INFO ] [Real]Absence check using state equation in 11501 ms returned sat
[2020-05-18 22:43:58] [INFO ] [Real]Added 1 Read/Feed constraints in 78 ms returned sat
[2020-05-18 22:43:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 422 ms.
[2020-05-18 22:43:59] [INFO ] Added : 6 causal constraints over 2 iterations in 1110 ms. Result :sat
[2020-05-18 22:44:00] [INFO ] [Real]Absence check using 185 positive place invariants in 152 ms returned unsat
[2020-05-18 22:44:00] [INFO ] [Real]Absence check using 185 positive place invariants in 225 ms returned sat
[2020-05-18 22:44:00] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 99 ms returned sat
[2020-05-18 22:44:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:44:13] [INFO ] [Real]Absence check using state equation in 12639 ms returned sat
[2020-05-18 22:44:13] [INFO ] [Real]Added 1 Read/Feed constraints in 54 ms returned sat
[2020-05-18 22:44:13] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 254 ms.
[2020-05-18 22:44:14] [INFO ] Added : 6 causal constraints over 2 iterations in 940 ms. Result :sat
[2020-05-18 22:44:15] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 22:44:15] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 29 ms returned unsat
[2020-05-18 22:44:15] [INFO ] [Real]Absence check using 185 positive place invariants in 100 ms returned unsat
[2020-05-18 22:44:15] [INFO ] [Real]Absence check using 185 positive place invariants in 64 ms returned unsat
[2020-05-18 22:44:16] [INFO ] [Real]Absence check using 185 positive place invariants in 142 ms returned unsat
[2020-05-18 22:44:16] [INFO ] [Real]Absence check using 185 positive place invariants in 211 ms returned sat
[2020-05-18 22:44:16] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 48 ms returned sat
[2020-05-18 22:44:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:44:28] [INFO ] [Real]Absence check using state equation in 11949 ms returned sat
[2020-05-18 22:44:28] [INFO ] [Real]Added 1 Read/Feed constraints in 45 ms returned sat
[2020-05-18 22:44:29] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 410 ms.
[2020-05-18 22:44:29] [INFO ] Added : 6 causal constraints over 2 iterations in 813 ms. Result :sat
[2020-05-18 22:44:30] [INFO ] [Real]Absence check using 185 positive place invariants in 196 ms returned sat
[2020-05-18 22:44:30] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 49 ms returned sat
[2020-05-18 22:44:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:44:42] [INFO ] [Real]Absence check using state equation in 12057 ms returned sat
[2020-05-18 22:44:42] [INFO ] [Real]Added 1 Read/Feed constraints in 52 ms returned sat
[2020-05-18 22:44:42] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 314 ms.
[2020-05-18 22:44:43] [INFO ] Added : 6 causal constraints over 2 iterations in 995 ms. Result :sat
[2020-05-18 22:44:44] [INFO ] [Real]Absence check using 185 positive place invariants in 66 ms returned unsat
[2020-05-18 22:44:44] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned unsat
[2020-05-18 22:44:44] [INFO ] [Real]Absence check using 185 positive place invariants in 181 ms returned sat
[2020-05-18 22:44:44] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 39 ms returned sat
[2020-05-18 22:44:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:44:56] [INFO ] [Real]Absence check using state equation in 12138 ms returned sat
[2020-05-18 22:44:57] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 22:44:57] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 483 ms.
[2020-05-18 22:44:58] [INFO ] Added : 6 causal constraints over 2 iterations in 1135 ms. Result :sat
[2020-05-18 22:44:58] [INFO ] [Real]Absence check using 185 positive place invariants in 136 ms returned unsat
[2020-05-18 22:44:59] [INFO ] [Real]Absence check using 185 positive place invariants in 43 ms returned unsat
[2020-05-18 22:44:59] [INFO ] [Real]Absence check using 185 positive place invariants in 131 ms returned unsat
[2020-05-18 22:44:59] [INFO ] [Real]Absence check using 185 positive place invariants in 76 ms returned unsat
[2020-05-18 22:44:59] [INFO ] [Real]Absence check using 185 positive place invariants in 61 ms returned unsat
[2020-05-18 22:45:00] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 22:45:00] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 22:45:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:45:11] [INFO ] [Real]Absence check using state equation in 11740 ms returned sat
[2020-05-18 22:45:12] [INFO ] [Real]Added 1 Read/Feed constraints in 54 ms returned sat
[2020-05-18 22:45:12] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 297 ms.
[2020-05-18 22:45:13] [INFO ] Added : 6 causal constraints over 2 iterations in 995 ms. Result :sat
[2020-05-18 22:45:13] [INFO ] [Real]Absence check using 185 positive place invariants in 31 ms returned unsat
[2020-05-18 22:45:14] [INFO ] [Real]Absence check using 185 positive place invariants in 222 ms returned sat
[2020-05-18 22:45:14] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 73 ms returned sat
[2020-05-18 22:45:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:45:28] [INFO ] [Real]Absence check using state equation in 14825 ms returned sat
[2020-05-18 22:45:29] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 22:45:29] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 401 ms.
[2020-05-18 22:45:30] [INFO ] Added : 6 causal constraints over 2 iterations in 1140 ms. Result :sat
[2020-05-18 22:45:31] [INFO ] [Real]Absence check using 185 positive place invariants in 234 ms returned sat
[2020-05-18 22:45:31] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 53 ms returned sat
[2020-05-18 22:45:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:45:44] [INFO ] [Real]Absence check using state equation in 13596 ms returned sat
[2020-05-18 22:45:44] [INFO ] [Real]Added 1 Read/Feed constraints in 47 ms returned sat
[2020-05-18 22:45:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 240 ms.
[2020-05-18 22:45:45] [INFO ] Added : 6 causal constraints over 2 iterations in 858 ms. Result :sat
[2020-05-18 22:45:46] [INFO ] [Real]Absence check using 185 positive place invariants in 248 ms returned sat
[2020-05-18 22:45:46] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 76 ms returned sat
[2020-05-18 22:45:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:45:59] [INFO ] [Real]Absence check using state equation in 12618 ms returned sat
[2020-05-18 22:45:59] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 22:45:59] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 387 ms.
[2020-05-18 22:46:00] [INFO ] Added : 6 causal constraints over 2 iterations in 1072 ms. Result :sat
[2020-05-18 22:46:01] [INFO ] [Real]Absence check using 185 positive place invariants in 129 ms returned unsat
[2020-05-18 22:46:01] [INFO ] [Real]Absence check using 185 positive place invariants in 47 ms returned unsat
[2020-05-18 22:46:01] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 22:46:01] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 22:46:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:46:13] [INFO ] [Real]Absence check using state equation in 12104 ms returned sat
[2020-05-18 22:46:13] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-05-18 22:46:14] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 257 ms.
[2020-05-18 22:46:15] [INFO ] Added : 6 causal constraints over 2 iterations in 916 ms. Result :sat
[2020-05-18 22:46:15] [INFO ] [Real]Absence check using 185 positive place invariants in 261 ms returned sat
[2020-05-18 22:46:15] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 73 ms returned sat
[2020-05-18 22:46:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:46:28] [INFO ] [Real]Absence check using state equation in 12840 ms returned sat
[2020-05-18 22:46:28] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 22:46:29] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 367 ms.
[2020-05-18 22:46:30] [INFO ] Added : 6 causal constraints over 2 iterations in 1015 ms. Result :sat
[2020-05-18 22:46:30] [INFO ] [Real]Absence check using 185 positive place invariants in 169 ms returned unsat
[2020-05-18 22:46:31] [INFO ] [Real]Absence check using 185 positive place invariants in 244 ms returned sat
[2020-05-18 22:46:31] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 40 ms returned unsat
[2020-05-18 22:46:31] [INFO ] [Real]Absence check using 185 positive place invariants in 136 ms returned unsat
[2020-05-18 22:46:31] [INFO ] [Real]Absence check using 185 positive place invariants in 82 ms returned unsat
[2020-05-18 22:46:31] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 22:46:32] [INFO ] [Real]Absence check using 185 positive place invariants in 96 ms returned unsat
[2020-05-18 22:46:32] [INFO ] [Real]Absence check using 185 positive place invariants in 78 ms returned unsat
[2020-05-18 22:46:32] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 22:46:32] [INFO ] [Real]Absence check using 185 positive place invariants in 50 ms returned unsat
[2020-05-18 22:46:33] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 22:46:33] [INFO ] [Real]Absence check using 185 positive place invariants in 206 ms returned sat
[2020-05-18 22:46:33] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 39 ms returned sat
[2020-05-18 22:46:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:46:45] [INFO ] [Real]Absence check using state equation in 11454 ms returned sat
[2020-05-18 22:46:45] [INFO ] [Real]Added 1 Read/Feed constraints in 79 ms returned sat
[2020-05-18 22:46:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 259 ms.
[2020-05-18 22:46:46] [INFO ] Added : 6 causal constraints over 2 iterations in 912 ms. Result :sat
[2020-05-18 22:46:46] [INFO ] [Real]Absence check using 185 positive place invariants in 225 ms returned sat
[2020-05-18 22:46:46] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:46:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:47:01] [INFO ] [Real]Absence check using state equation in 14044 ms returned sat
[2020-05-18 22:47:01] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 22:47:01] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 370 ms.
[2020-05-18 22:47:02] [INFO ] Added : 6 causal constraints over 2 iterations in 1072 ms. Result :sat
[2020-05-18 22:47:02] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 22:47:03] [INFO ] [Real]Absence check using 185 positive place invariants in 102 ms returned unsat
[2020-05-18 22:47:03] [INFO ] [Real]Absence check using 185 positive place invariants in 159 ms returned sat
[2020-05-18 22:47:03] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 22:47:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:47:14] [INFO ] [Real]Absence check using state equation in 11073 ms returned sat
[2020-05-18 22:47:14] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-05-18 22:47:15] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 247 ms.
[2020-05-18 22:47:15] [INFO ] Added : 6 causal constraints over 2 iterations in 810 ms. Result :sat
[2020-05-18 22:47:16] [INFO ] [Real]Absence check using 185 positive place invariants in 233 ms returned sat
[2020-05-18 22:47:16] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 66 ms returned sat
[2020-05-18 22:47:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:47:27] [INFO ] [Real]Absence check using state equation in 11281 ms returned sat
[2020-05-18 22:47:27] [INFO ] [Real]Added 1 Read/Feed constraints in 81 ms returned sat
[2020-05-18 22:47:28] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 487 ms.
[2020-05-18 22:47:29] [INFO ] Added : 6 causal constraints over 2 iterations in 1208 ms. Result :sat
[2020-05-18 22:47:29] [INFO ] [Real]Absence check using 185 positive place invariants in 218 ms returned sat
[2020-05-18 22:47:29] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 22:47:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:47:40] [INFO ] [Real]Absence check using state equation in 10731 ms returned sat
[2020-05-18 22:47:40] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-05-18 22:47:41] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 246 ms.
[2020-05-18 22:47:41] [INFO ] Added : 6 causal constraints over 2 iterations in 912 ms. Result :sat
[2020-05-18 22:47:42] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 22:47:42] [INFO ] [Real]Absence check using 185 positive place invariants in 47 ms returned unsat
[2020-05-18 22:47:42] [INFO ] [Real]Absence check using 185 positive place invariants in 256 ms returned sat
[2020-05-18 22:47:42] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 36 ms returned unsat
[2020-05-18 22:47:43] [INFO ] [Real]Absence check using 185 positive place invariants in 221 ms returned sat
[2020-05-18 22:47:43] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 22:47:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:47:53] [INFO ] [Real]Absence check using state equation in 10458 ms returned sat
[2020-05-18 22:47:54] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 22:47:54] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 469 ms.
[2020-05-18 22:47:55] [INFO ] Added : 6 causal constraints over 2 iterations in 1123 ms. Result :sat
[2020-05-18 22:47:55] [INFO ] [Real]Absence check using 185 positive place invariants in 46 ms returned unsat
[2020-05-18 22:47:56] [INFO ] [Real]Absence check using 185 positive place invariants in 102 ms returned unsat
[2020-05-18 22:47:56] [INFO ] [Real]Absence check using 185 positive place invariants in 145 ms returned unsat
[2020-05-18 22:47:56] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 22:47:56] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:47:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:48:08] [INFO ] [Real]Absence check using state equation in 11303 ms returned sat
[2020-05-18 22:48:08] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 22:48:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 402 ms.
[2020-05-18 22:48:09] [INFO ] Added : 6 causal constraints over 2 iterations in 1094 ms. Result :sat
[2020-05-18 22:48:10] [INFO ] [Real]Absence check using 185 positive place invariants in 75 ms returned unsat
[2020-05-18 22:48:10] [INFO ] [Real]Absence check using 185 positive place invariants in 221 ms returned sat
[2020-05-18 22:48:10] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 33 ms returned unsat
[2020-05-18 22:48:10] [INFO ] [Real]Absence check using 185 positive place invariants in 35 ms returned unsat
[2020-05-18 22:48:11] [INFO ] [Real]Absence check using 185 positive place invariants in 225 ms returned sat
[2020-05-18 22:48:11] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 72 ms returned sat
[2020-05-18 22:48:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:48:22] [INFO ] [Real]Absence check using state equation in 11654 ms returned sat
[2020-05-18 22:48:22] [INFO ] [Real]Added 1 Read/Feed constraints in 72 ms returned sat
[2020-05-18 22:48:23] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 372 ms.
[2020-05-18 22:48:23] [INFO ] Added : 6 causal constraints over 2 iterations in 962 ms. Result :sat
[2020-05-18 22:48:24] [INFO ] [Real]Absence check using 185 positive place invariants in 134 ms returned unsat
[2020-05-18 22:48:24] [INFO ] [Real]Absence check using 185 positive place invariants in 156 ms returned unsat
[2020-05-18 22:48:25] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 22:48:25] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 22:48:25] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 22:48:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:48:36] [INFO ] [Real]Absence check using state equation in 11178 ms returned sat
[2020-05-18 22:48:36] [INFO ] [Real]Added 1 Read/Feed constraints in 81 ms returned sat
[2020-05-18 22:48:37] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 280 ms.
[2020-05-18 22:48:37] [INFO ] Added : 6 causal constraints over 2 iterations in 960 ms. Result :sat
[2020-05-18 22:48:38] [INFO ] [Real]Absence check using 185 positive place invariants in 164 ms returned sat
[2020-05-18 22:48:38] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 22:48:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:48:49] [INFO ] [Real]Absence check using state equation in 11174 ms returned sat
[2020-05-18 22:48:49] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 22:48:50] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 428 ms.
[2020-05-18 22:48:50] [INFO ] Added : 6 causal constraints over 2 iterations in 1081 ms. Result :sat
[2020-05-18 22:48:51] [INFO ] [Real]Absence check using 185 positive place invariants in 133 ms returned unsat
[2020-05-18 22:48:51] [INFO ] [Real]Absence check using 185 positive place invariants in 77 ms returned unsat
[2020-05-18 22:48:51] [INFO ] [Real]Absence check using 185 positive place invariants in 50 ms returned unsat
[2020-05-18 22:48:52] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 22:48:52] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 22:48:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:49:04] [INFO ] [Real]Absence check using state equation in 11972 ms returned sat
[2020-05-18 22:49:04] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 22:49:05] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 309 ms.
[2020-05-18 22:49:05] [INFO ] Added : 6 causal constraints over 2 iterations in 1020 ms. Result :sat
[2020-05-18 22:49:06] [INFO ] [Real]Absence check using 185 positive place invariants in 86 ms returned unsat
[2020-05-18 22:49:06] [INFO ] [Real]Absence check using 185 positive place invariants in 76 ms returned unsat
[2020-05-18 22:49:06] [INFO ] [Real]Absence check using 185 positive place invariants in 94 ms returned unsat
[2020-05-18 22:49:07] [INFO ] [Real]Absence check using 185 positive place invariants in 218 ms returned sat
[2020-05-18 22:49:07] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 22:49:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:49:19] [INFO ] [Real]Absence check using state equation in 12678 ms returned sat
[2020-05-18 22:49:19] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 22:49:20] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 437 ms.
[2020-05-18 22:49:21] [INFO ] Added : 6 causal constraints over 2 iterations in 1338 ms. Result :sat
[2020-05-18 22:49:22] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 22:49:22] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 22:49:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:49:33] [INFO ] [Real]Absence check using state equation in 10858 ms returned sat
[2020-05-18 22:49:33] [INFO ] [Real]Added 1 Read/Feed constraints in 80 ms returned sat
[2020-05-18 22:49:33] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 354 ms.
[2020-05-18 22:49:34] [INFO ] Added : 6 causal constraints over 2 iterations in 1171 ms. Result :sat
[2020-05-18 22:49:35] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 22:49:35] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 54 ms returned sat
[2020-05-18 22:49:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:49:47] [INFO ] [Real]Absence check using state equation in 12351 ms returned sat
[2020-05-18 22:49:47] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 22:49:48] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 437 ms.
[2020-05-18 22:49:49] [INFO ] Added : 6 causal constraints over 2 iterations in 1153 ms. Result :sat
[2020-05-18 22:49:49] [INFO ] [Real]Absence check using 185 positive place invariants in 132 ms returned unsat
[2020-05-18 22:49:49] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 22:49:50] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 22:49:50] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 22:49:50] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 22:49:50] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:49:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:50:03] [INFO ] [Real]Absence check using state equation in 12989 ms returned sat
[2020-05-18 22:50:03] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-05-18 22:50:04] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 356 ms.
[2020-05-18 22:50:05] [INFO ] Added : 6 causal constraints over 2 iterations in 1070 ms. Result :sat
[2020-05-18 22:50:05] [INFO ] [Real]Absence check using 185 positive place invariants in 100 ms returned unsat
[2020-05-18 22:50:05] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:50:06] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:50:06] [INFO ] [Real]Absence check using 185 positive place invariants in 135 ms returned unsat
[2020-05-18 22:50:06] [INFO ] [Real]Absence check using 185 positive place invariants in 103 ms returned unsat
[2020-05-18 22:50:07] [INFO ] [Real]Absence check using 185 positive place invariants in 219 ms returned sat
[2020-05-18 22:50:07] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:50:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:50:19] [INFO ] [Real]Absence check using state equation in 11948 ms returned sat
[2020-05-18 22:50:19] [INFO ] [Real]Added 1 Read/Feed constraints in 89 ms returned sat
[2020-05-18 22:50:19] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 386 ms.
[2020-05-18 22:50:20] [INFO ] Added : 6 causal constraints over 2 iterations in 1113 ms. Result :sat
[2020-05-18 22:50:21] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:50:21] [INFO ] [Real]Absence check using 185 positive place invariants in 66 ms returned unsat
[2020-05-18 22:50:21] [INFO ] [Real]Absence check using 185 positive place invariants in 97 ms returned unsat
[2020-05-18 22:50:21] [INFO ] [Real]Absence check using 185 positive place invariants in 86 ms returned unsat
[2020-05-18 22:50:22] [INFO ] [Real]Absence check using 185 positive place invariants in 153 ms returned unsat
[2020-05-18 22:50:22] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 22:50:22] [INFO ] [Real]Absence check using 185 positive place invariants in 237 ms returned sat
[2020-05-18 22:50:22] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 22:50:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:50:35] [INFO ] [Real]Absence check using state equation in 12297 ms returned sat
[2020-05-18 22:50:35] [INFO ] [Real]Added 1 Read/Feed constraints in 86 ms returned sat
[2020-05-18 22:50:35] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 290 ms.
[2020-05-18 22:50:36] [INFO ] Added : 6 causal constraints over 2 iterations in 1012 ms. Result :sat
[2020-05-18 22:50:37] [INFO ] [Real]Absence check using 185 positive place invariants in 132 ms returned unsat
[2020-05-18 22:50:37] [INFO ] [Real]Absence check using 185 positive place invariants in 79 ms returned unsat
[2020-05-18 22:50:37] [INFO ] [Real]Absence check using 185 positive place invariants in 51 ms returned unsat
[2020-05-18 22:50:37] [INFO ] [Real]Absence check using 185 positive place invariants in 96 ms returned unsat
[2020-05-18 22:50:38] [INFO ] [Real]Absence check using 185 positive place invariants in 66 ms returned unsat
[2020-05-18 22:50:38] [INFO ] [Real]Absence check using 185 positive place invariants in 86 ms returned unsat
[2020-05-18 22:50:38] [INFO ] [Real]Absence check using 185 positive place invariants in 232 ms returned sat
[2020-05-18 22:50:38] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 22:50:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:50:50] [INFO ] [Real]Absence check using state equation in 12201 ms returned sat
[2020-05-18 22:50:51] [INFO ] [Real]Added 1 Read/Feed constraints in 95 ms returned sat
[2020-05-18 22:50:51] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 314 ms.
[2020-05-18 22:50:52] [INFO ] Added : 6 causal constraints over 2 iterations in 1129 ms. Result :sat
[2020-05-18 22:50:53] [INFO ] [Real]Absence check using 185 positive place invariants in 249 ms returned sat
[2020-05-18 22:50:53] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 22:50:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:51:06] [INFO ] [Real]Absence check using state equation in 13535 ms returned sat
[2020-05-18 22:51:06] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 22:51:07] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 313 ms.
[2020-05-18 22:51:07] [INFO ] Added : 6 causal constraints over 2 iterations in 976 ms. Result :sat
[2020-05-18 22:51:08] [INFO ] [Real]Absence check using 185 positive place invariants in 245 ms returned sat
[2020-05-18 22:51:08] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 69 ms returned sat
[2020-05-18 22:51:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:51:21] [INFO ] [Real]Absence check using state equation in 12833 ms returned sat
[2020-05-18 22:51:21] [INFO ] [Real]Added 1 Read/Feed constraints in 56 ms returned sat
[2020-05-18 22:51:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 374 ms.
[2020-05-18 22:51:22] [INFO ] Added : 6 causal constraints over 2 iterations in 1069 ms. Result :sat
[2020-05-18 22:51:23] [INFO ] [Real]Absence check using 185 positive place invariants in 137 ms returned unsat
[2020-05-18 22:51:23] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 22:51:23] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 22:51:24] [INFO ] [Real]Absence check using 185 positive place invariants in 62 ms returned unsat
[2020-05-18 22:51:24] [INFO ] [Real]Absence check using 185 positive place invariants in 218 ms returned sat
[2020-05-18 22:51:24] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 40 ms returned sat
[2020-05-18 22:51:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:51:36] [INFO ] [Real]Absence check using state equation in 11756 ms returned sat
[2020-05-18 22:51:36] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 22:51:36] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 323 ms.
[2020-05-18 22:51:37] [INFO ] Added : 6 causal constraints over 2 iterations in 1007 ms. Result :sat
[2020-05-18 22:51:38] [INFO ] [Real]Absence check using 185 positive place invariants in 129 ms returned unsat
[2020-05-18 22:51:38] [INFO ] [Real]Absence check using 185 positive place invariants in 47 ms returned unsat
[2020-05-18 22:51:38] [INFO ] [Real]Absence check using 185 positive place invariants in 77 ms returned unsat
[2020-05-18 22:51:38] [INFO ] [Real]Absence check using 185 positive place invariants in 114 ms returned unsat
[2020-05-18 22:51:39] [INFO ] [Real]Absence check using 185 positive place invariants in 176 ms returned sat
[2020-05-18 22:51:39] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 38 ms returned sat
[2020-05-18 22:51:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:51:52] [INFO ] [Real]Absence check using state equation in 13031 ms returned sat
[2020-05-18 22:51:52] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 22:51:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 398 ms.
[2020-05-18 22:51:53] [INFO ] Added : 6 causal constraints over 2 iterations in 999 ms. Result :sat
[2020-05-18 22:51:53] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:51:54] [INFO ] [Real]Absence check using 185 positive place invariants in 78 ms returned unsat
[2020-05-18 22:51:54] [INFO ] [Real]Absence check using 185 positive place invariants in 44 ms returned unsat
[2020-05-18 22:51:54] [INFO ] [Real]Absence check using 185 positive place invariants in 190 ms returned sat
[2020-05-18 22:51:54] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 21 ms returned unsat
[2020-05-18 22:51:55] [INFO ] [Real]Absence check using 185 positive place invariants in 154 ms returned sat
[2020-05-18 22:51:55] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 38 ms returned sat
[2020-05-18 22:51:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:52:08] [INFO ] [Real]Absence check using state equation in 13352 ms returned sat
[2020-05-18 22:52:08] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 22:52:09] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 306 ms.
[2020-05-18 22:52:09] [INFO ] Added : 6 causal constraints over 2 iterations in 962 ms. Result :sat
[2020-05-18 22:52:10] [INFO ] [Real]Absence check using 185 positive place invariants in 103 ms returned unsat
[2020-05-18 22:52:10] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 22:52:10] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 31 ms returned unsat
[2020-05-18 22:52:10] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 22:52:11] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:52:11] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 22:52:11] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 44 ms returned sat
[2020-05-18 22:52:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:52:24] [INFO ] [Real]Absence check using state equation in 12772 ms returned sat
[2020-05-18 22:52:24] [INFO ] [Real]Added 1 Read/Feed constraints in 51 ms returned sat
[2020-05-18 22:52:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 367 ms.
[2020-05-18 22:52:25] [INFO ] Added : 6 causal constraints over 2 iterations in 950 ms. Result :sat
[2020-05-18 22:52:25] [INFO ] [Real]Absence check using 185 positive place invariants in 47 ms returned unsat
[2020-05-18 22:52:26] [INFO ] [Real]Absence check using 185 positive place invariants in 45 ms returned unsat
[2020-05-18 22:52:26] [INFO ] [Real]Absence check using 185 positive place invariants in 69 ms returned unsat
[2020-05-18 22:52:26] [INFO ] [Real]Absence check using 185 positive place invariants in 36 ms returned unsat
[2020-05-18 22:52:26] [INFO ] [Real]Absence check using 185 positive place invariants in 190 ms returned sat
[2020-05-18 22:52:26] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 22:52:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:52:39] [INFO ] [Real]Absence check using state equation in 12472 ms returned sat
[2020-05-18 22:52:39] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 22:52:39] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 265 ms.
[2020-05-18 22:52:40] [INFO ] Added : 6 causal constraints over 2 iterations in 959 ms. Result :sat
[2020-05-18 22:52:41] [INFO ] [Real]Absence check using 185 positive place invariants in 170 ms returned unsat
[2020-05-18 22:52:41] [INFO ] [Real]Absence check using 185 positive place invariants in 128 ms returned unsat
[2020-05-18 22:52:41] [INFO ] [Real]Absence check using 185 positive place invariants in 249 ms returned sat
[2020-05-18 22:52:41] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:52:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:52:53] [INFO ] [Real]Absence check using state equation in 11715 ms returned sat
[2020-05-18 22:52:53] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 22:52:54] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 384 ms.
[2020-05-18 22:52:55] [INFO ] Added : 6 causal constraints over 2 iterations in 1071 ms. Result :sat
[2020-05-18 22:52:55] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 22:52:55] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 54 ms returned sat
[2020-05-18 22:52:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:53:08] [INFO ] [Real]Absence check using state equation in 12577 ms returned sat
[2020-05-18 22:53:08] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-05-18 22:53:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 302 ms.
[2020-05-18 22:53:09] [INFO ] Added : 6 causal constraints over 2 iterations in 984 ms. Result :sat
[2020-05-18 22:53:10] [INFO ] [Real]Absence check using 185 positive place invariants in 264 ms returned sat
[2020-05-18 22:53:10] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 66 ms returned sat
[2020-05-18 22:53:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:53:22] [INFO ] [Real]Absence check using state equation in 11840 ms returned sat
[2020-05-18 22:53:22] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 22:53:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 430 ms.
[2020-05-18 22:53:23] [INFO ] Added : 6 causal constraints over 2 iterations in 1052 ms. Result :sat
[2020-05-18 22:53:24] [INFO ] [Real]Absence check using 185 positive place invariants in 47 ms returned unsat
[2020-05-18 22:53:24] [INFO ] [Real]Absence check using 185 positive place invariants in 242 ms returned sat
[2020-05-18 22:53:24] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 22:53:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:53:35] [INFO ] [Real]Absence check using state equation in 10754 ms returned sat
[2020-05-18 22:53:35] [INFO ] [Real]Added 1 Read/Feed constraints in 57 ms returned sat
[2020-05-18 22:53:35] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 249 ms.
[2020-05-18 22:53:36] [INFO ] Added : 6 causal constraints over 2 iterations in 866 ms. Result :sat
[2020-05-18 22:53:36] [INFO ] [Real]Absence check using 185 positive place invariants in 163 ms returned sat
[2020-05-18 22:53:36] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 38 ms returned sat
[2020-05-18 22:53:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:53:48] [INFO ] [Real]Absence check using state equation in 11538 ms returned sat
[2020-05-18 22:53:48] [INFO ] [Real]Added 1 Read/Feed constraints in 40 ms returned sat
[2020-05-18 22:53:49] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 357 ms.
[2020-05-18 22:53:49] [INFO ] Added : 6 causal constraints over 2 iterations in 892 ms. Result :sat
[2020-05-18 22:53:50] [INFO ] [Real]Absence check using 185 positive place invariants in 98 ms returned unsat
[2020-05-18 22:53:50] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 22:53:50] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:53:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:54:01] [INFO ] [Real]Absence check using state equation in 10948 ms returned sat
[2020-05-18 22:54:01] [INFO ] [Real]Added 1 Read/Feed constraints in 47 ms returned sat
[2020-05-18 22:54:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 253 ms.
[2020-05-18 22:54:02] [INFO ] Added : 6 causal constraints over 2 iterations in 755 ms. Result :sat
[2020-05-18 22:54:02] [INFO ] [Real]Absence check using 185 positive place invariants in 97 ms returned unsat
[2020-05-18 22:54:03] [INFO ] [Real]Absence check using 185 positive place invariants in 76 ms returned unsat
[2020-05-18 22:54:03] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:54:03] [INFO ] [Real]Absence check using 185 positive place invariants in 55 ms returned unsat
[2020-05-18 22:54:03] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 22:54:04] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 22:54:04] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 79 ms returned sat
[2020-05-18 22:54:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:54:16] [INFO ] [Real]Absence check using state equation in 12363 ms returned sat
[2020-05-18 22:54:16] [INFO ] [Real]Added 1 Read/Feed constraints in 87 ms returned sat
[2020-05-18 22:54:17] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 407 ms.
[2020-05-18 22:54:18] [INFO ] Added : 6 causal constraints over 2 iterations in 1170 ms. Result :sat
[2020-05-18 22:54:18] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 22:54:18] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 54 ms returned sat
[2020-05-18 22:54:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:54:30] [INFO ] [Real]Absence check using state equation in 11280 ms returned sat
[2020-05-18 22:54:30] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 22:54:30] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 285 ms.
[2020-05-18 22:54:31] [INFO ] Added : 6 causal constraints over 2 iterations in 930 ms. Result :sat
[2020-05-18 22:54:31] [INFO ] [Real]Absence check using 185 positive place invariants in 102 ms returned unsat
[2020-05-18 22:54:32] [INFO ] [Real]Absence check using 185 positive place invariants in 64 ms returned unsat
[2020-05-18 22:54:32] [INFO ] [Real]Absence check using 185 positive place invariants in 107 ms returned unsat
[2020-05-18 22:54:32] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 22:54:32] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 22:54:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:54:44] [INFO ] [Real]Absence check using state equation in 11227 ms returned sat
[2020-05-18 22:54:44] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-05-18 22:54:44] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 478 ms.
[2020-05-18 22:54:45] [INFO ] Added : 6 causal constraints over 2 iterations in 1336 ms. Result :sat
[2020-05-18 22:54:46] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 22:54:46] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 34 ms returned unsat
[2020-05-18 22:54:46] [INFO ] [Real]Absence check using 185 positive place invariants in 97 ms returned unsat
[2020-05-18 22:54:46] [INFO ] [Real]Absence check using 185 positive place invariants in 244 ms returned sat
[2020-05-18 22:54:47] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 69 ms returned sat
[2020-05-18 22:54:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:54:58] [INFO ] [Real]Absence check using state equation in 11521 ms returned sat
[2020-05-18 22:54:58] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-05-18 22:54:59] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 304 ms.
[2020-05-18 22:54:59] [INFO ] Added : 6 causal constraints over 2 iterations in 981 ms. Result :sat
[2020-05-18 22:55:00] [INFO ] [Real]Absence check using 185 positive place invariants in 143 ms returned unsat
[2020-05-18 22:55:00] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 22:55:00] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 22:55:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:55:12] [INFO ] [Real]Absence check using state equation in 11452 ms returned sat
[2020-05-18 22:55:12] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 22:55:13] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 420 ms.
[2020-05-18 22:55:13] [INFO ] Added : 6 causal constraints over 2 iterations in 1055 ms. Result :sat
[2020-05-18 22:55:14] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 22:55:14] [INFO ] [Real]Absence check using 185 positive place invariants in 229 ms returned sat
[2020-05-18 22:55:14] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:55:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:55:25] [INFO ] [Real]Absence check using state equation in 11078 ms returned sat
[2020-05-18 22:55:25] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 22:55:26] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 258 ms.
[2020-05-18 22:55:26] [INFO ] Added : 6 causal constraints over 2 iterations in 914 ms. Result :sat
[2020-05-18 22:55:27] [INFO ] [Real]Absence check using 185 positive place invariants in 83 ms returned unsat
[2020-05-18 22:55:27] [INFO ] [Real]Absence check using 185 positive place invariants in 131 ms returned unsat
[2020-05-18 22:55:27] [INFO ] [Real]Absence check using 185 positive place invariants in 34 ms returned unsat
[2020-05-18 22:55:28] [INFO ] [Real]Absence check using 185 positive place invariants in 238 ms returned sat
[2020-05-18 22:55:28] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 66 ms returned sat
[2020-05-18 22:55:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:55:39] [INFO ] [Real]Absence check using state equation in 11230 ms returned sat
[2020-05-18 22:55:39] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 22:55:40] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 451 ms.
[2020-05-18 22:55:41] [INFO ] Added : 6 causal constraints over 2 iterations in 1170 ms. Result :sat
[2020-05-18 22:55:41] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:55:41] [INFO ] [Real]Absence check using 185 positive place invariants in 145 ms returned unsat
[2020-05-18 22:55:42] [INFO ] [Real]Absence check using 185 positive place invariants in 137 ms returned unsat
[2020-05-18 22:55:42] [INFO ] [Real]Absence check using 185 positive place invariants in 83 ms returned unsat
[2020-05-18 22:55:42] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 22:55:43] [INFO ] [Real]Absence check using 185 positive place invariants in 232 ms returned sat
[2020-05-18 22:55:43] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:55:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:55:53] [INFO ] [Real]Absence check using state equation in 10543 ms returned sat
[2020-05-18 22:55:53] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-05-18 22:55:54] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 284 ms.
[2020-05-18 22:55:55] [INFO ] Added : 6 causal constraints over 2 iterations in 1104 ms. Result :sat
[2020-05-18 22:55:55] [INFO ] [Real]Absence check using 185 positive place invariants in 79 ms returned unsat
[2020-05-18 22:55:55] [INFO ] [Real]Absence check using 185 positive place invariants in 102 ms returned unsat
[2020-05-18 22:55:56] [INFO ] [Real]Absence check using 185 positive place invariants in 135 ms returned unsat
[2020-05-18 22:55:56] [INFO ] [Real]Absence check using 185 positive place invariants in 132 ms returned unsat
[2020-05-18 22:55:56] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:55:57] [INFO ] [Real]Absence check using 185 positive place invariants in 222 ms returned sat
[2020-05-18 22:55:57] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 22:55:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:56:08] [INFO ] [Real]Absence check using state equation in 11080 ms returned sat
[2020-05-18 22:56:08] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 22:56:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 373 ms.
[2020-05-18 22:56:09] [INFO ] Added : 6 causal constraints over 2 iterations in 1055 ms. Result :sat
[2020-05-18 22:56:10] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 22:56:10] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:56:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:56:21] [INFO ] [Real]Absence check using state equation in 11485 ms returned sat
[2020-05-18 22:56:21] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-05-18 22:56:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 265 ms.
[2020-05-18 22:56:23] [INFO ] Added : 6 causal constraints over 2 iterations in 979 ms. Result :sat
[2020-05-18 22:56:23] [INFO ] [Real]Absence check using 185 positive place invariants in 250 ms returned sat
[2020-05-18 22:56:23] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 22:56:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:56:35] [INFO ] [Real]Absence check using state equation in 11611 ms returned sat
[2020-05-18 22:56:35] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 22:56:36] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 492 ms.
[2020-05-18 22:56:36] [INFO ] Added : 6 causal constraints over 2 iterations in 1112 ms. Result :sat
[2020-05-18 22:56:37] [INFO ] [Real]Absence check using 185 positive place invariants in 218 ms returned sat
[2020-05-18 22:56:37] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 22:56:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:56:50] [INFO ] [Real]Absence check using state equation in 12527 ms returned sat
[2020-05-18 22:56:50] [INFO ] [Real]Added 1 Read/Feed constraints in 61 ms returned sat
[2020-05-18 22:56:50] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 291 ms.
[2020-05-18 22:56:51] [INFO ] Added : 6 causal constraints over 2 iterations in 948 ms. Result :sat
[2020-05-18 22:56:51] [INFO ] [Real]Absence check using 185 positive place invariants in 47 ms returned unsat
[2020-05-18 22:56:52] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 22:56:52] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 41 ms returned unsat
[2020-05-18 22:56:52] [INFO ] [Real]Absence check using 185 positive place invariants in 237 ms returned sat
[2020-05-18 22:56:52] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 28 ms returned unsat
[2020-05-18 22:56:52] [INFO ] [Real]Absence check using 185 positive place invariants in 218 ms returned sat
[2020-05-18 22:56:53] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 40 ms returned sat
[2020-05-18 22:56:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:57:04] [INFO ] [Real]Absence check using state equation in 11497 ms returned sat
[2020-05-18 22:57:04] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-05-18 22:57:05] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 424 ms.
[2020-05-18 22:57:05] [INFO ] Added : 6 causal constraints over 2 iterations in 1187 ms. Result :sat
[2020-05-18 22:57:06] [INFO ] [Real]Absence check using 185 positive place invariants in 246 ms returned sat
[2020-05-18 22:57:06] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 46 ms returned unsat
[2020-05-18 22:57:06] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:57:07] [INFO ] [Real]Absence check using 185 positive place invariants in 77 ms returned unsat
[2020-05-18 22:57:07] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 22:57:07] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 22:57:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:57:18] [INFO ] [Real]Absence check using state equation in 11080 ms returned sat
[2020-05-18 22:57:18] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-05-18 22:57:19] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 268 ms.
[2020-05-18 22:57:19] [INFO ] Added : 6 causal constraints over 2 iterations in 959 ms. Result :sat
[2020-05-18 22:57:20] [INFO ] [Real]Absence check using 185 positive place invariants in 145 ms returned unsat
[2020-05-18 22:57:20] [INFO ] [Real]Absence check using 185 positive place invariants in 84 ms returned unsat
[2020-05-18 22:57:21] [INFO ] [Real]Absence check using 185 positive place invariants in 86 ms returned unsat
[2020-05-18 22:57:21] [INFO ] [Real]Absence check using 185 positive place invariants in 95 ms returned unsat
[2020-05-18 22:57:21] [INFO ] [Real]Absence check using 185 positive place invariants in 97 ms returned unsat
[2020-05-18 22:57:21] [INFO ] [Real]Absence check using 185 positive place invariants in 22 ms returned unsat
[2020-05-18 22:57:21] [INFO ] [Real]Absence check using 185 positive place invariants in 57 ms returned unsat
[2020-05-18 22:57:22] [INFO ] [Real]Absence check using 185 positive place invariants in 188 ms returned sat
[2020-05-18 22:57:22] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 40 ms returned sat
[2020-05-18 22:57:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:57:33] [INFO ] [Real]Absence check using state equation in 11695 ms returned sat
[2020-05-18 22:57:34] [INFO ] [Real]Added 1 Read/Feed constraints in 50 ms returned sat
[2020-05-18 22:57:34] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 355 ms.
[2020-05-18 22:57:35] [INFO ] Added : 6 causal constraints over 2 iterations in 1016 ms. Result :sat
[2020-05-18 22:57:35] [INFO ] [Real]Absence check using 185 positive place invariants in 150 ms returned unsat
[2020-05-18 22:57:36] [INFO ] [Real]Absence check using 185 positive place invariants in 159 ms returned unsat
[2020-05-18 22:57:36] [INFO ] [Real]Absence check using 185 positive place invariants in 129 ms returned unsat
[2020-05-18 22:57:36] [INFO ] [Real]Absence check using 185 positive place invariants in 221 ms returned sat
[2020-05-18 22:57:36] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 32 ms returned unsat
[2020-05-18 22:57:37] [INFO ] [Real]Absence check using 185 positive place invariants in 159 ms returned sat
[2020-05-18 22:57:37] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 22:57:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:57:48] [INFO ] [Real]Absence check using state equation in 10999 ms returned sat
[2020-05-18 22:57:48] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 22:57:48] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 269 ms.
[2020-05-18 22:57:49] [INFO ] Added : 6 causal constraints over 2 iterations in 942 ms. Result :sat
[2020-05-18 22:57:49] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 22:57:50] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 22:57:50] [INFO ] [Real]Absence check using 185 positive place invariants in 63 ms returned unsat
[2020-05-18 22:57:50] [INFO ] [Real]Absence check using 185 positive place invariants in 145 ms returned unsat
[2020-05-18 22:57:51] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 22:57:51] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 22:57:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:58:03] [INFO ] [Real]Absence check using state equation in 12304 ms returned sat
[2020-05-18 22:58:03] [INFO ] [Real]Added 1 Read/Feed constraints in 89 ms returned sat
[2020-05-18 22:58:04] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 366 ms.
[2020-05-18 22:58:04] [INFO ] Added : 6 causal constraints over 2 iterations in 1006 ms. Result :sat
[2020-05-18 22:58:05] [INFO ] [Real]Absence check using 185 positive place invariants in 83 ms returned unsat
[2020-05-18 22:58:05] [INFO ] [Real]Absence check using 185 positive place invariants in 229 ms returned sat
[2020-05-18 22:58:05] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 38 ms returned unsat
[2020-05-18 22:58:05] [INFO ] [Real]Absence check using 185 positive place invariants in 63 ms returned unsat
[2020-05-18 22:58:06] [INFO ] [Real]Absence check using 185 positive place invariants in 171 ms returned sat
[2020-05-18 22:58:06] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 50 ms returned sat
[2020-05-18 22:58:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:58:18] [INFO ] [Real]Absence check using state equation in 12000 ms returned sat
[2020-05-18 22:58:18] [INFO ] [Real]Added 1 Read/Feed constraints in 61 ms returned sat
[2020-05-18 22:58:18] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 301 ms.
[2020-05-18 22:58:19] [INFO ] Added : 6 causal constraints over 2 iterations in 945 ms. Result :sat
[2020-05-18 22:58:20] [INFO ] [Real]Absence check using 185 positive place invariants in 55 ms returned unsat
[2020-05-18 22:58:20] [INFO ] [Real]Absence check using 185 positive place invariants in 130 ms returned unsat
[2020-05-18 22:58:20] [INFO ] [Real]Absence check using 185 positive place invariants in 222 ms returned sat
[2020-05-18 22:58:20] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 69 ms returned sat
[2020-05-18 22:58:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:58:32] [INFO ] [Real]Absence check using state equation in 11981 ms returned sat
[2020-05-18 22:58:32] [INFO ] [Real]Added 1 Read/Feed constraints in 47 ms returned sat
[2020-05-18 22:58:33] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 413 ms.
[2020-05-18 22:58:34] [INFO ] Added : 6 causal constraints over 2 iterations in 1045 ms. Result :sat
[2020-05-18 22:58:34] [INFO ] [Real]Absence check using 185 positive place invariants in 229 ms returned sat
[2020-05-18 22:58:34] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 22:58:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:58:47] [INFO ] [Real]Absence check using state equation in 12668 ms returned sat
[2020-05-18 22:58:47] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-05-18 22:58:47] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 300 ms.
[2020-05-18 22:58:48] [INFO ] Added : 6 causal constraints over 2 iterations in 1028 ms. Result :sat
[2020-05-18 22:58:49] [INFO ] [Real]Absence check using 185 positive place invariants in 44 ms returned unsat
[2020-05-18 22:58:49] [INFO ] [Real]Absence check using 185 positive place invariants in 46 ms returned unsat
[2020-05-18 22:58:49] [INFO ] [Real]Absence check using 185 positive place invariants in 211 ms returned sat
[2020-05-18 22:58:49] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 27 ms returned unsat
[2020-05-18 22:58:50] [INFO ] [Real]Absence check using 185 positive place invariants in 216 ms returned sat
[2020-05-18 22:58:50] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 48 ms returned sat
[2020-05-18 22:58:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:59:02] [INFO ] [Real]Absence check using state equation in 12053 ms returned sat
[2020-05-18 22:59:02] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 22:59:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 362 ms.
[2020-05-18 22:59:03] [INFO ] Added : 6 causal constraints over 2 iterations in 1077 ms. Result :sat
[2020-05-18 22:59:04] [INFO ] [Real]Absence check using 185 positive place invariants in 105 ms returned unsat
[2020-05-18 22:59:04] [INFO ] [Real]Absence check using 185 positive place invariants in 84 ms returned unsat
[2020-05-18 22:59:04] [INFO ] [Real]Absence check using 185 positive place invariants in 64 ms returned unsat
[2020-05-18 22:59:04] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 22:59:05] [INFO ] [Real]Absence check using 185 positive place invariants in 255 ms returned sat
[2020-05-18 22:59:05] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 51 ms returned sat
[2020-05-18 22:59:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:59:16] [INFO ] [Real]Absence check using state equation in 10948 ms returned sat
[2020-05-18 22:59:16] [INFO ] [Real]Added 1 Read/Feed constraints in 53 ms returned sat
[2020-05-18 22:59:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 261 ms.
[2020-05-18 22:59:17] [INFO ] Added : 6 causal constraints over 2 iterations in 985 ms. Result :sat
[2020-05-18 22:59:18] [INFO ] [Real]Absence check using 185 positive place invariants in 116 ms returned unsat
[2020-05-18 22:59:18] [INFO ] [Real]Absence check using 185 positive place invariants in 98 ms returned unsat
[2020-05-18 22:59:18] [INFO ] [Real]Absence check using 185 positive place invariants in 273 ms returned sat
[2020-05-18 22:59:18] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:59:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:59:31] [INFO ] [Real]Absence check using state equation in 12462 ms returned sat
[2020-05-18 22:59:31] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 22:59:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 442 ms.
[2020-05-18 22:59:32] [INFO ] Added : 6 causal constraints over 2 iterations in 1024 ms. Result :sat
[2020-05-18 22:59:33] [INFO ] [Real]Absence check using 185 positive place invariants in 231 ms returned sat
[2020-05-18 22:59:33] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 31 ms returned unsat
[2020-05-18 22:59:33] [INFO ] [Real]Absence check using 185 positive place invariants in 239 ms returned sat
[2020-05-18 22:59:33] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 22:59:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:59:46] [INFO ] [Real]Absence check using state equation in 12771 ms returned sat
[2020-05-18 22:59:46] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 22:59:47] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 338 ms.
[2020-05-18 22:59:47] [INFO ] Added : 6 causal constraints over 2 iterations in 1047 ms. Result :sat
[2020-05-18 22:59:48] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 22:59:48] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 22:59:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 22:59:59] [INFO ] [Real]Absence check using state equation in 11225 ms returned sat
[2020-05-18 23:00:00] [INFO ] [Real]Added 1 Read/Feed constraints in 81 ms returned sat
[2020-05-18 23:00:00] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 381 ms.
[2020-05-18 23:00:01] [INFO ] Added : 6 causal constraints over 2 iterations in 1040 ms. Result :sat
[2020-05-18 23:00:01] [INFO ] [Real]Absence check using 185 positive place invariants in 135 ms returned unsat
[2020-05-18 23:00:02] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 23:00:02] [INFO ] [Real]Absence check using 185 positive place invariants in 126 ms returned unsat
[2020-05-18 23:00:02] [INFO ] [Real]Absence check using 185 positive place invariants in 64 ms returned unsat
[2020-05-18 23:00:02] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 23:00:02] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 23:00:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:00:14] [INFO ] [Real]Absence check using state equation in 11016 ms returned sat
[2020-05-18 23:00:14] [INFO ] [Real]Added 1 Read/Feed constraints in 81 ms returned sat
[2020-05-18 23:00:14] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 290 ms.
[2020-05-18 23:00:15] [INFO ] Added : 6 causal constraints over 2 iterations in 1078 ms. Result :sat
[2020-05-18 23:00:15] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 23:00:16] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 23:00:16] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 23:00:16] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 23:00:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:00:27] [INFO ] [Real]Absence check using state equation in 10763 ms returned sat
[2020-05-18 23:00:27] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 23:00:27] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 364 ms.
[2020-05-18 23:00:28] [INFO ] Added : 6 causal constraints over 2 iterations in 1137 ms. Result :sat
[2020-05-18 23:00:29] [INFO ] [Real]Absence check using 185 positive place invariants in 140 ms returned unsat
[2020-05-18 23:00:29] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 23:00:29] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 60 ms returned sat
[2020-05-18 23:00:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:00:41] [INFO ] [Real]Absence check using state equation in 11537 ms returned sat
[2020-05-18 23:00:41] [INFO ] [Real]Added 1 Read/Feed constraints in 78 ms returned sat
[2020-05-18 23:00:41] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 345 ms.
[2020-05-18 23:00:42] [INFO ] Added : 6 causal constraints over 2 iterations in 976 ms. Result :sat
[2020-05-18 23:00:42] [INFO ] [Real]Absence check using 185 positive place invariants in 76 ms returned unsat
[2020-05-18 23:00:43] [INFO ] [Real]Absence check using 185 positive place invariants in 101 ms returned unsat
[2020-05-18 23:00:43] [INFO ] [Real]Absence check using 185 positive place invariants in 236 ms returned sat
[2020-05-18 23:00:43] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 40 ms returned unsat
[2020-05-18 23:00:43] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:00:44] [INFO ] [Real]Absence check using 185 positive place invariants in 159 ms returned sat
[2020-05-18 23:00:44] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 37 ms returned sat
[2020-05-18 23:00:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:00:55] [INFO ] [Real]Absence check using state equation in 11404 ms returned sat
[2020-05-18 23:00:55] [INFO ] [Real]Added 1 Read/Feed constraints in 79 ms returned sat
[2020-05-18 23:00:56] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 372 ms.
[2020-05-18 23:00:57] [INFO ] Added : 6 causal constraints over 2 iterations in 1026 ms. Result :sat
[2020-05-18 23:00:57] [INFO ] [Real]Absence check using 185 positive place invariants in 31 ms returned unsat
[2020-05-18 23:00:57] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 23:00:57] [INFO ] [Real]Absence check using 185 positive place invariants in 213 ms returned sat
[2020-05-18 23:00:58] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 23:00:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:01:09] [INFO ] [Real]Absence check using state equation in 11547 ms returned sat
[2020-05-18 23:01:09] [INFO ] [Real]Added 1 Read/Feed constraints in 60 ms returned sat
[2020-05-18 23:01:10] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 344 ms.
[2020-05-18 23:01:10] [INFO ] Added : 6 causal constraints over 2 iterations in 1031 ms. Result :sat
[2020-05-18 23:01:11] [INFO ] [Real]Absence check using 185 positive place invariants in 31 ms returned unsat
[2020-05-18 23:01:11] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 23:01:11] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 54 ms returned sat
[2020-05-18 23:01:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:01:22] [INFO ] [Real]Absence check using state equation in 10723 ms returned sat
[2020-05-18 23:01:22] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 23:01:23] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 469 ms.
[2020-05-18 23:01:24] [INFO ] Added : 6 causal constraints over 2 iterations in 1319 ms. Result :sat
[2020-05-18 23:01:24] [INFO ] [Real]Absence check using 185 positive place invariants in 48 ms returned unsat
[2020-05-18 23:01:24] [INFO ] [Real]Absence check using 185 positive place invariants in 50 ms returned unsat
[2020-05-18 23:01:25] [INFO ] [Real]Absence check using 185 positive place invariants in 220 ms returned sat
[2020-05-18 23:01:25] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 49 ms returned sat
[2020-05-18 23:01:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:01:35] [INFO ] [Real]Absence check using state equation in 10589 ms returned sat
[2020-05-18 23:01:36] [INFO ] [Real]Added 1 Read/Feed constraints in 72 ms returned sat
[2020-05-18 23:01:36] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 337 ms.
[2020-05-18 23:01:37] [INFO ] Added : 6 causal constraints over 2 iterations in 1053 ms. Result :sat
[2020-05-18 23:01:37] [INFO ] [Real]Absence check using 185 positive place invariants in 140 ms returned unsat
[2020-05-18 23:01:38] [INFO ] [Real]Absence check using 185 positive place invariants in 149 ms returned unsat
[2020-05-18 23:01:38] [INFO ] [Real]Absence check using 185 positive place invariants in 94 ms returned unsat
[2020-05-18 23:01:38] [INFO ] [Real]Absence check using 185 positive place invariants in 217 ms returned sat
[2020-05-18 23:01:38] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 35 ms returned unsat
[2020-05-18 23:01:39] [INFO ] [Real]Absence check using 185 positive place invariants in 145 ms returned unsat
[2020-05-18 23:01:39] [INFO ] [Real]Absence check using 185 positive place invariants in 242 ms returned sat
[2020-05-18 23:01:39] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 70 ms returned sat
[2020-05-18 23:01:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:01:52] [INFO ] [Real]Absence check using state equation in 13150 ms returned sat
[2020-05-18 23:01:53] [INFO ] [Real]Added 1 Read/Feed constraints in 58 ms returned sat
[2020-05-18 23:01:53] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 380 ms.
[2020-05-18 23:01:54] [INFO ] Added : 6 causal constraints over 2 iterations in 994 ms. Result :sat
[2020-05-18 23:01:54] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 23:01:55] [INFO ] [Real]Absence check using 185 positive place invariants in 233 ms returned sat
[2020-05-18 23:01:55] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 23:01:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:02:06] [INFO ] [Real]Absence check using state equation in 11591 ms returned sat
[2020-05-18 23:02:06] [INFO ] [Real]Added 1 Read/Feed constraints in 59 ms returned sat
[2020-05-18 23:02:07] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 289 ms.
[2020-05-18 23:02:07] [INFO ] Added : 6 causal constraints over 2 iterations in 806 ms. Result :sat
[2020-05-18 23:02:08] [INFO ] [Real]Absence check using 185 positive place invariants in 230 ms returned sat
[2020-05-18 23:02:08] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 72 ms returned sat
[2020-05-18 23:02:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:02:19] [INFO ] [Real]Absence check using state equation in 11078 ms returned sat
[2020-05-18 23:02:19] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 23:02:20] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 374 ms.
[2020-05-18 23:02:20] [INFO ] Added : 6 causal constraints over 2 iterations in 927 ms. Result :sat
[2020-05-18 23:02:21] [INFO ] [Real]Absence check using 185 positive place invariants in 173 ms returned sat
[2020-05-18 23:02:21] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 32 ms returned unsat
[2020-05-18 23:02:21] [INFO ] [Real]Absence check using 185 positive place invariants in 176 ms returned sat
[2020-05-18 23:02:21] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 40 ms returned sat
[2020-05-18 23:02:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:02:32] [INFO ] [Real]Absence check using state equation in 10977 ms returned sat
[2020-05-18 23:02:32] [INFO ] [Real]Added 1 Read/Feed constraints in 39 ms returned sat
[2020-05-18 23:02:33] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 345 ms.
[2020-05-18 23:02:33] [INFO ] Added : 6 causal constraints over 2 iterations in 863 ms. Result :sat
[2020-05-18 23:02:34] [INFO ] [Real]Absence check using 185 positive place invariants in 64 ms returned unsat
[2020-05-18 23:02:34] [INFO ] [Real]Absence check using 185 positive place invariants in 63 ms returned unsat
[2020-05-18 23:02:34] [INFO ] [Real]Absence check using 185 positive place invariants in 57 ms returned unsat
[2020-05-18 23:02:34] [INFO ] [Real]Absence check using 185 positive place invariants in 73 ms returned unsat
[2020-05-18 23:02:34] [INFO ] [Real]Absence check using 185 positive place invariants in 56 ms returned unsat
[2020-05-18 23:02:34] [INFO ] [Real]Absence check using 185 positive place invariants in 100 ms returned unsat
[2020-05-18 23:02:35] [INFO ] [Real]Absence check using 185 positive place invariants in 40 ms returned unsat
[2020-05-18 23:02:35] [INFO ] [Real]Absence check using 185 positive place invariants in 75 ms returned unsat
[2020-05-18 23:02:35] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 23:02:35] [INFO ] [Real]Absence check using 185 positive place invariants in 179 ms returned sat
[2020-05-18 23:02:35] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 46 ms returned sat
[2020-05-18 23:02:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:02:46] [INFO ] [Real]Absence check using state equation in 10478 ms returned sat
[2020-05-18 23:02:46] [INFO ] [Real]Added 1 Read/Feed constraints in 44 ms returned sat
[2020-05-18 23:02:46] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 351 ms.
[2020-05-18 23:02:47] [INFO ] Added : 6 causal constraints over 2 iterations in 868 ms. Result :sat
[2020-05-18 23:02:47] [INFO ] [Real]Absence check using 185 positive place invariants in 175 ms returned sat
[2020-05-18 23:02:47] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 23:02:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:03:01] [INFO ] [Real]Absence check using state equation in 14065 ms returned sat
[2020-05-18 23:03:02] [INFO ] [Real]Added 1 Read/Feed constraints in 52 ms returned sat
[2020-05-18 23:03:02] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 314 ms.
[2020-05-18 23:03:03] [INFO ] Added : 6 causal constraints over 2 iterations in 861 ms. Result :sat
[2020-05-18 23:03:03] [INFO ] [Real]Absence check using 185 positive place invariants in 212 ms returned sat
[2020-05-18 23:03:03] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 38 ms returned sat
[2020-05-18 23:03:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:03:16] [INFO ] [Real]Absence check using state equation in 12892 ms returned sat
[2020-05-18 23:03:16] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-05-18 23:03:17] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 368 ms.
[2020-05-18 23:03:17] [INFO ] Added : 6 causal constraints over 2 iterations in 1117 ms. Result :sat
[2020-05-18 23:03:18] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 23:03:18] [INFO ] [Real]Absence check using 185 positive place invariants in 31 ms returned unsat
[2020-05-18 23:03:19] [INFO ] [Real]Absence check using 185 positive place invariants in 245 ms returned sat
[2020-05-18 23:03:19] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 23:03:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:03:31] [INFO ] [Real]Absence check using state equation in 12520 ms returned sat
[2020-05-18 23:03:31] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-05-18 23:03:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 311 ms.
[2020-05-18 23:03:32] [INFO ] Added : 6 causal constraints over 2 iterations in 994 ms. Result :sat
[2020-05-18 23:03:33] [INFO ] [Real]Absence check using 185 positive place invariants in 128 ms returned unsat
[2020-05-18 23:03:33] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 23:03:33] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 67 ms returned sat
[2020-05-18 23:03:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:03:45] [INFO ] [Real]Absence check using state equation in 11257 ms returned sat
[2020-05-18 23:03:45] [INFO ] [Real]Added 1 Read/Feed constraints in 44 ms returned sat
[2020-05-18 23:03:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 364 ms.
[2020-05-18 23:03:46] [INFO ] Added : 6 causal constraints over 2 iterations in 983 ms. Result :sat
[2020-05-18 23:03:46] [INFO ] [Real]Absence check using 185 positive place invariants in 63 ms returned unsat
[2020-05-18 23:03:47] [INFO ] [Real]Absence check using 185 positive place invariants in 50 ms returned unsat
[2020-05-18 23:03:47] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 23:03:47] [INFO ] [Real]Absence check using 185 positive place invariants in 77 ms returned unsat
[2020-05-18 23:03:47] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 23:03:48] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 79 ms returned sat
[2020-05-18 23:03:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:04:00] [INFO ] [Real]Absence check using state equation in 12251 ms returned sat
[2020-05-18 23:04:00] [INFO ] [Real]Added 1 Read/Feed constraints in 76 ms returned sat
[2020-05-18 23:04:00] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 333 ms.
[2020-05-18 23:04:01] [INFO ] Added : 6 causal constraints over 2 iterations in 895 ms. Result :sat
[2020-05-18 23:04:02] [INFO ] [Real]Absence check using 185 positive place invariants in 194 ms returned sat
[2020-05-18 23:04:02] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned unsat
[2020-05-18 23:04:02] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 23:04:02] [INFO ] [Real]Absence check using 185 positive place invariants in 48 ms returned unsat
[2020-05-18 23:04:02] [INFO ] [Real]Absence check using 185 positive place invariants in 102 ms returned unsat
[2020-05-18 23:04:03] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 23:04:03] [INFO ] [Real]Absence check using 185 positive place invariants in 87 ms returned unsat
[2020-05-18 23:04:03] [INFO ] [Real]Absence check using 185 positive place invariants in 46 ms returned unsat
[2020-05-18 23:04:03] [INFO ] [Real]Absence check using 185 positive place invariants in 28 ms returned unsat
[2020-05-18 23:04:03] [INFO ] [Real]Absence check using 185 positive place invariants in 53 ms returned unsat
[2020-05-18 23:04:04] [INFO ] [Real]Absence check using 185 positive place invariants in 76 ms returned unsat
[2020-05-18 23:04:04] [INFO ] [Real]Absence check using 185 positive place invariants in 59 ms returned unsat
[2020-05-18 23:04:04] [INFO ] [Real]Absence check using 185 positive place invariants in 189 ms returned sat
[2020-05-18 23:04:04] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 44 ms returned sat
[2020-05-18 23:04:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:04:17] [INFO ] [Real]Absence check using state equation in 12412 ms returned sat
[2020-05-18 23:04:17] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-05-18 23:04:17] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 275 ms.
[2020-05-18 23:04:18] [INFO ] Added : 6 causal constraints over 2 iterations in 773 ms. Result :sat
[2020-05-18 23:04:18] [INFO ] [Real]Absence check using 185 positive place invariants in 215 ms returned sat
[2020-05-18 23:04:18] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 23:04:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:04:31] [INFO ] [Real]Absence check using state equation in 12505 ms returned sat
[2020-05-18 23:04:31] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 23:04:31] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 308 ms.
[2020-05-18 23:04:32] [INFO ] Added : 6 causal constraints over 2 iterations in 869 ms. Result :sat
[2020-05-18 23:04:32] [INFO ] [Real]Absence check using 185 positive place invariants in 105 ms returned unsat
[2020-05-18 23:04:33] [INFO ] [Real]Absence check using 185 positive place invariants in 157 ms returned sat
[2020-05-18 23:04:33] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 35 ms returned sat
[2020-05-18 23:04:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:04:44] [INFO ] [Real]Absence check using state equation in 10943 ms returned sat
[2020-05-18 23:04:44] [INFO ] [Real]Added 1 Read/Feed constraints in 62 ms returned sat
[2020-05-18 23:04:44] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 364 ms.
[2020-05-18 23:04:45] [INFO ] Added : 6 causal constraints over 2 iterations in 806 ms. Result :sat
[2020-05-18 23:04:45] [INFO ] [Real]Absence check using 185 positive place invariants in 87 ms returned unsat
[2020-05-18 23:04:45] [INFO ] [Real]Absence check using 185 positive place invariants in 168 ms returned unsat
[2020-05-18 23:04:45] [INFO ] [Real]Absence check using 185 positive place invariants in 39 ms returned unsat
[2020-05-18 23:04:46] [INFO ] [Real]Absence check using 185 positive place invariants in 59 ms returned unsat
[2020-05-18 23:04:46] [INFO ] [Real]Absence check using 185 positive place invariants in 138 ms returned unsat
[2020-05-18 23:04:46] [INFO ] [Real]Absence check using 185 positive place invariants in 64 ms returned unsat
[2020-05-18 23:04:46] [INFO ] [Real]Absence check using 185 positive place invariants in 169 ms returned sat
[2020-05-18 23:04:46] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 20 ms returned unsat
[2020-05-18 23:04:47] [INFO ] [Real]Absence check using 185 positive place invariants in 154 ms returned sat
[2020-05-18 23:04:47] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 39 ms returned sat
[2020-05-18 23:04:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:04:58] [INFO ] [Real]Absence check using state equation in 11043 ms returned sat
[2020-05-18 23:04:58] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 23:04:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 266 ms.
[2020-05-18 23:04:59] [INFO ] Added : 6 causal constraints over 2 iterations in 936 ms. Result :sat
[2020-05-18 23:04:59] [INFO ] [Real]Absence check using 185 positive place invariants in 103 ms returned unsat
[2020-05-18 23:05:00] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 23:05:00] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 33 ms returned unsat
[2020-05-18 23:05:00] [INFO ] [Real]Absence check using 185 positive place invariants in 87 ms returned unsat
[2020-05-18 23:05:00] [INFO ] [Real]Absence check using 185 positive place invariants in 172 ms returned sat
[2020-05-18 23:05:00] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 23 ms returned unsat
[2020-05-18 23:05:01] [INFO ] [Real]Absence check using 185 positive place invariants in 216 ms returned sat
[2020-05-18 23:05:01] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 33 ms returned unsat
[2020-05-18 23:05:01] [INFO ] [Real]Absence check using 185 positive place invariants in 233 ms returned sat
[2020-05-18 23:05:01] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 23:05:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:05:14] [INFO ] [Real]Absence check using state equation in 12309 ms returned sat
[2020-05-18 23:05:14] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 23:05:14] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 310 ms.
[2020-05-18 23:05:15] [INFO ] Added : 6 causal constraints over 2 iterations in 999 ms. Result :sat
[2020-05-18 23:05:15] [INFO ] [Real]Absence check using 185 positive place invariants in 75 ms returned unsat
[2020-05-18 23:05:16] [INFO ] [Real]Absence check using 185 positive place invariants in 246 ms returned sat
[2020-05-18 23:05:16] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 23:05:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:05:29] [INFO ] [Real]Absence check using state equation in 13353 ms returned sat
[2020-05-18 23:05:29] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 23:05:30] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 292 ms.
[2020-05-18 23:05:31] [INFO ] Added : 6 causal constraints over 2 iterations in 1052 ms. Result :sat
[2020-05-18 23:05:31] [INFO ] [Real]Absence check using 185 positive place invariants in 238 ms returned sat
[2020-05-18 23:05:31] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 23:05:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:05:42] [INFO ] [Real]Absence check using state equation in 10955 ms returned sat
[2020-05-18 23:05:42] [INFO ] [Real]Added 1 Read/Feed constraints in 75 ms returned sat
[2020-05-18 23:05:43] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 478 ms.
[2020-05-18 23:05:44] [INFO ] Added : 6 causal constraints over 2 iterations in 1355 ms. Result :sat
[2020-05-18 23:05:44] [INFO ] [Real]Absence check using 185 positive place invariants in 63 ms returned unsat
[2020-05-18 23:05:45] [INFO ] [Real]Absence check using 185 positive place invariants in 229 ms returned sat
[2020-05-18 23:05:45] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 23:05:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:05:56] [INFO ] [Real]Absence check using state equation in 11155 ms returned sat
[2020-05-18 23:05:56] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 23:05:57] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 312 ms.
[2020-05-18 23:05:57] [INFO ] Added : 6 causal constraints over 2 iterations in 983 ms. Result :sat
[2020-05-18 23:05:58] [INFO ] [Real]Absence check using 185 positive place invariants in 136 ms returned unsat
[2020-05-18 23:05:58] [INFO ] [Real]Absence check using 185 positive place invariants in 232 ms returned sat
[2020-05-18 23:05:58] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 23:05:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:06:09] [INFO ] [Real]Absence check using state equation in 10808 ms returned sat
[2020-05-18 23:06:09] [INFO ] [Real]Added 1 Read/Feed constraints in 51 ms returned sat
[2020-05-18 23:06:10] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 366 ms.
[2020-05-18 23:06:13] [INFO ] Added : 5 causal constraints over 1 iterations in 3859 ms. Result :sat
[2020-05-18 23:06:14] [INFO ] [Real]Absence check using 185 positive place invariants in 218 ms returned sat
[2020-05-18 23:06:14] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 54 ms returned sat
[2020-05-18 23:06:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:06:25] [INFO ] [Real]Absence check using state equation in 11025 ms returned sat
[2020-05-18 23:06:25] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 23:06:26] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 330 ms.
[2020-05-18 23:06:26] [INFO ] Added : 6 causal constraints over 2 iterations in 1033 ms. Result :sat
[2020-05-18 23:06:27] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 23:06:27] [INFO ] [Real]Absence check using 185 positive place invariants in 127 ms returned unsat
[2020-05-18 23:06:27] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 23:06:28] [INFO ] [Real]Absence check using 185 positive place invariants in 120 ms returned unsat
[2020-05-18 23:06:28] [INFO ] [Real]Absence check using 185 positive place invariants in 69 ms returned unsat
[2020-05-18 23:06:28] [INFO ] [Real]Absence check using 185 positive place invariants in 103 ms returned unsat
[2020-05-18 23:06:28] [INFO ] [Real]Absence check using 185 positive place invariants in 153 ms returned sat
[2020-05-18 23:06:28] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 40 ms returned sat
[2020-05-18 23:06:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:06:40] [INFO ] [Real]Absence check using state equation in 11486 ms returned sat
[2020-05-18 23:06:40] [INFO ] [Real]Added 1 Read/Feed constraints in 92 ms returned sat
[2020-05-18 23:06:41] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 414 ms.
[2020-05-18 23:06:41] [INFO ] Added : 6 causal constraints over 2 iterations in 1194 ms. Result :sat
[2020-05-18 23:06:42] [INFO ] [Real]Absence check using 185 positive place invariants in 293 ms returned sat
[2020-05-18 23:06:42] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 23:06:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:06:53] [INFO ] [Real]Absence check using state equation in 11199 ms returned sat
[2020-05-18 23:06:53] [INFO ] [Real]Added 1 Read/Feed constraints in 67 ms returned sat
[2020-05-18 23:06:54] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 263 ms.
[2020-05-18 23:06:55] [INFO ] Added : 6 causal constraints over 2 iterations in 912 ms. Result :sat
[2020-05-18 23:06:55] [INFO ] [Real]Absence check using 185 positive place invariants in 102 ms returned unsat
[2020-05-18 23:06:55] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 23:06:56] [INFO ] [Real]Absence check using 185 positive place invariants in 87 ms returned unsat
[2020-05-18 23:06:56] [INFO ] [Real]Absence check using 185 positive place invariants in 244 ms returned sat
[2020-05-18 23:06:56] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 73 ms returned sat
[2020-05-18 23:06:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:07:09] [INFO ] [Real]Absence check using state equation in 12515 ms returned sat
[2020-05-18 23:07:09] [INFO ] [Real]Added 1 Read/Feed constraints in 54 ms returned sat
[2020-05-18 23:07:09] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 333 ms.
[2020-05-18 23:07:10] [INFO ] Added : 6 causal constraints over 2 iterations in 1052 ms. Result :sat
[2020-05-18 23:07:11] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:07:11] [INFO ] [Real]Absence check using 185 positive place invariants in 218 ms returned sat
[2020-05-18 23:07:11] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 53 ms returned sat
[2020-05-18 23:07:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:07:22] [INFO ] [Real]Absence check using state equation in 10958 ms returned sat
[2020-05-18 23:07:22] [INFO ] [Real]Added 1 Read/Feed constraints in 42 ms returned sat
[2020-05-18 23:07:22] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 259 ms.
[2020-05-18 23:07:23] [INFO ] Added : 6 causal constraints over 2 iterations in 884 ms. Result :sat
[2020-05-18 23:07:24] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 23:07:24] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 23:07:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:07:35] [INFO ] [Real]Absence check using state equation in 10864 ms returned sat
[2020-05-18 23:07:35] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 23:07:35] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 445 ms.
[2020-05-18 23:07:36] [INFO ] Added : 6 causal constraints over 2 iterations in 1200 ms. Result :sat
[2020-05-18 23:07:37] [INFO ] [Real]Absence check using 185 positive place invariants in 62 ms returned unsat
[2020-05-18 23:07:37] [INFO ] [Real]Absence check using 185 positive place invariants in 246 ms returned sat
[2020-05-18 23:07:37] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 71 ms returned sat
[2020-05-18 23:07:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:07:49] [INFO ] [Real]Absence check using state equation in 11675 ms returned sat
[2020-05-18 23:07:49] [INFO ] [Real]Added 1 Read/Feed constraints in 84 ms returned sat
[2020-05-18 23:07:49] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 289 ms.
[2020-05-18 23:07:50] [INFO ] Added : 6 causal constraints over 2 iterations in 1342 ms. Result :sat
[2020-05-18 23:07:51] [INFO ] [Real]Absence check using 185 positive place invariants in 96 ms returned unsat
[2020-05-18 23:07:51] [INFO ] [Real]Absence check using 185 positive place invariants in 59 ms returned unsat
[2020-05-18 23:07:51] [INFO ] [Real]Absence check using 185 positive place invariants in 128 ms returned unsat
[2020-05-18 23:07:52] [INFO ] [Real]Absence check using 185 positive place invariants in 69 ms returned unsat
[2020-05-18 23:07:52] [INFO ] [Real]Absence check using 185 positive place invariants in 38 ms returned unsat
[2020-05-18 23:07:52] [INFO ] [Real]Absence check using 185 positive place invariants in 133 ms returned unsat
[2020-05-18 23:07:53] [INFO ] [Real]Absence check using 185 positive place invariants in 97 ms returned unsat
[2020-05-18 23:07:53] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:07:53] [INFO ] [Real]Absence check using 185 positive place invariants in 136 ms returned unsat
[2020-05-18 23:07:54] [INFO ] [Real]Absence check using 185 positive place invariants in 134 ms returned unsat
[2020-05-18 23:07:54] [INFO ] [Real]Absence check using 185 positive place invariants in 110 ms returned unsat
[2020-05-18 23:07:54] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 23:07:54] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 49 ms returned sat
[2020-05-18 23:07:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:08:06] [INFO ] [Real]Absence check using state equation in 11719 ms returned sat
[2020-05-18 23:08:06] [INFO ] [Real]Added 1 Read/Feed constraints in 90 ms returned sat
[2020-05-18 23:08:07] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 297 ms.
[2020-05-18 23:08:08] [INFO ] Added : 6 causal constraints over 2 iterations in 1055 ms. Result :sat
[2020-05-18 23:08:08] [INFO ] [Real]Absence check using 185 positive place invariants in 229 ms returned sat
[2020-05-18 23:08:08] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 23:08:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:08:19] [INFO ] [Real]Absence check using state equation in 11011 ms returned sat
[2020-05-18 23:08:19] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-05-18 23:08:20] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 284 ms.
[2020-05-18 23:08:21] [INFO ] Added : 6 causal constraints over 2 iterations in 1050 ms. Result :sat
[2020-05-18 23:08:21] [INFO ] [Real]Absence check using 185 positive place invariants in 145 ms returned unsat
[2020-05-18 23:08:22] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 23:08:22] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 63 ms returned sat
[2020-05-18 23:08:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:08:35] [INFO ] [Real]Absence check using state equation in 12755 ms returned sat
[2020-05-18 23:08:35] [INFO ] [Real]Added 1 Read/Feed constraints in 85 ms returned sat
[2020-05-18 23:08:35] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 513 ms.
[2020-05-18 23:08:37] [INFO ] Added : 6 causal constraints over 2 iterations in 1705 ms. Result :sat
[2020-05-18 23:08:37] [INFO ] [Real]Absence check using 185 positive place invariants in 237 ms returned sat
[2020-05-18 23:08:37] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 23:08:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:08:50] [INFO ] [Real]Absence check using state equation in 13222 ms returned sat
[2020-05-18 23:08:51] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-05-18 23:08:51] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 394 ms.
[2020-05-18 23:08:52] [INFO ] Added : 6 causal constraints over 2 iterations in 1158 ms. Result :sat
[2020-05-18 23:08:52] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 23:08:53] [INFO ] [Real]Absence check using 185 positive place invariants in 34 ms returned unsat
[2020-05-18 23:08:53] [INFO ] [Real]Absence check using 185 positive place invariants in 144 ms returned unsat
[2020-05-18 23:08:53] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 23:08:53] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 23:08:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:09:07] [INFO ] [Real]Absence check using state equation in 13403 ms returned sat
[2020-05-18 23:09:07] [INFO ] [Real]Added 1 Read/Feed constraints in 82 ms returned sat
[2020-05-18 23:09:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 490 ms.
[2020-05-18 23:09:08] [INFO ] Added : 6 causal constraints over 2 iterations in 1216 ms. Result :sat
[2020-05-18 23:09:09] [INFO ] [Real]Absence check using 185 positive place invariants in 96 ms returned unsat
[2020-05-18 23:09:09] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 23:09:09] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 23:09:10] [INFO ] [Real]Absence check using 185 positive place invariants in 233 ms returned sat
[2020-05-18 23:09:10] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 60 ms returned sat
[2020-05-18 23:09:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:09:23] [INFO ] [Real]Absence check using state equation in 13159 ms returned sat
[2020-05-18 23:09:23] [INFO ] [Real]Added 1 Read/Feed constraints in 98 ms returned sat
[2020-05-18 23:09:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 278 ms.
[2020-05-18 23:09:24] [INFO ] Added : 6 causal constraints over 2 iterations in 1029 ms. Result :sat
[2020-05-18 23:09:25] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 23:09:25] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 72 ms returned sat
[2020-05-18 23:09:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:09:39] [INFO ] [Real]Absence check using state equation in 13716 ms returned sat
[2020-05-18 23:09:39] [INFO ] [Real]Added 1 Read/Feed constraints in 60 ms returned sat
[2020-05-18 23:09:39] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 375 ms.
[2020-05-18 23:09:40] [INFO ] Added : 6 causal constraints over 2 iterations in 1108 ms. Result :sat
[2020-05-18 23:09:41] [INFO ] [Real]Absence check using 185 positive place invariants in 32 ms returned unsat
[2020-05-18 23:09:41] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 23:09:41] [INFO ] [Real]Absence check using 185 positive place invariants in 229 ms returned sat
[2020-05-18 23:09:41] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 23:09:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:09:55] [INFO ] [Real]Absence check using state equation in 13757 ms returned sat
[2020-05-18 23:09:55] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-05-18 23:09:56] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 331 ms.
[2020-05-18 23:09:56] [INFO ] Added : 6 causal constraints over 2 iterations in 1091 ms. Result :sat
[2020-05-18 23:09:57] [INFO ] [Real]Absence check using 185 positive place invariants in 233 ms returned sat
[2020-05-18 23:09:57] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 37 ms returned unsat
[2020-05-18 23:09:57] [INFO ] [Real]Absence check using 185 positive place invariants in 122 ms returned unsat
[2020-05-18 23:09:58] [INFO ] [Real]Absence check using 185 positive place invariants in 137 ms returned unsat
[2020-05-18 23:09:58] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 23:09:58] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 23:09:59] [INFO ] [Real]Absence check using 185 positive place invariants in 345 ms returned sat
[2020-05-18 23:09:59] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 53 ms returned sat
[2020-05-18 23:09:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:10:11] [INFO ] [Real]Absence check using state equation in 12535 ms returned sat
[2020-05-18 23:10:11] [INFO ] [Real]Added 1 Read/Feed constraints in 73 ms returned sat
[2020-05-18 23:10:12] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 349 ms.
[2020-05-18 23:10:13] [INFO ] Added : 6 causal constraints over 2 iterations in 975 ms. Result :sat
[2020-05-18 23:10:13] [INFO ] [Real]Absence check using 185 positive place invariants in 230 ms returned sat
[2020-05-18 23:10:13] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 97 ms returned sat
[2020-05-18 23:10:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:10:27] [INFO ] [Real]Absence check using state equation in 13581 ms returned sat
[2020-05-18 23:10:27] [INFO ] [Real]Added 1 Read/Feed constraints in 48 ms returned sat
[2020-05-18 23:10:27] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 352 ms.
[2020-05-18 23:10:28] [INFO ] Added : 6 causal constraints over 2 iterations in 1155 ms. Result :sat
[2020-05-18 23:10:29] [INFO ] [Real]Absence check using 185 positive place invariants in 48 ms returned unsat
[2020-05-18 23:10:29] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 23:10:29] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 49 ms returned sat
[2020-05-18 23:10:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:10:41] [INFO ] [Real]Absence check using state equation in 11768 ms returned sat
[2020-05-18 23:10:41] [INFO ] [Real]Added 1 Read/Feed constraints in 65 ms returned sat
[2020-05-18 23:10:42] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 438 ms.
[2020-05-18 23:10:42] [INFO ] Added : 6 causal constraints over 2 iterations in 1123 ms. Result :sat
[2020-05-18 23:10:43] [INFO ] [Real]Absence check using 185 positive place invariants in 97 ms returned unsat
[2020-05-18 23:10:43] [INFO ] [Real]Absence check using 185 positive place invariants in 237 ms returned sat
[2020-05-18 23:10:43] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned unsat
[2020-05-18 23:10:44] [INFO ] [Real]Absence check using 185 positive place invariants in 245 ms returned sat
[2020-05-18 23:10:44] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 23:10:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:10:55] [INFO ] [Real]Absence check using state equation in 11023 ms returned sat
[2020-05-18 23:10:55] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 23:10:55] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 269 ms.
[2020-05-18 23:10:56] [INFO ] Added : 6 causal constraints over 2 iterations in 853 ms. Result :sat
[2020-05-18 23:10:57] [INFO ] [Real]Absence check using 185 positive place invariants in 165 ms returned sat
[2020-05-18 23:10:57] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 43 ms returned sat
[2020-05-18 23:10:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:11:10] [INFO ] [Real]Absence check using state equation in 13049 ms returned sat
[2020-05-18 23:11:10] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 23:11:10] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 474 ms.
[2020-05-18 23:11:11] [INFO ] Added : 6 causal constraints over 2 iterations in 1182 ms. Result :sat
[2020-05-18 23:11:12] [INFO ] [Real]Absence check using 185 positive place invariants in 230 ms returned sat
[2020-05-18 23:11:12] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 64 ms returned sat
[2020-05-18 23:11:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:11:25] [INFO ] [Real]Absence check using state equation in 12676 ms returned sat
[2020-05-18 23:11:25] [INFO ] [Real]Added 1 Read/Feed constraints in 76 ms returned sat
[2020-05-18 23:11:25] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 399 ms.
[2020-05-18 23:11:26] [INFO ] Added : 6 causal constraints over 2 iterations in 1067 ms. Result :sat
[2020-05-18 23:11:27] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 23:11:27] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 23:11:27] [INFO ] [Real]Absence check using 185 positive place invariants in 195 ms returned unsat
[2020-05-18 23:11:28] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:11:28] [INFO ] [Real]Absence check using 185 positive place invariants in 390 ms returned sat
[2020-05-18 23:11:28] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 88 ms returned sat
[2020-05-18 23:11:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:11:41] [INFO ] [Real]Absence check using state equation in 12754 ms returned sat
[2020-05-18 23:11:41] [INFO ] [Real]Added 1 Read/Feed constraints in 71 ms returned sat
[2020-05-18 23:11:42] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 345 ms.
[2020-05-18 23:11:43] [INFO ] Added : 6 causal constraints over 2 iterations in 1018 ms. Result :sat
[2020-05-18 23:11:43] [INFO ] [Real]Absence check using 185 positive place invariants in 38 ms returned unsat
[2020-05-18 23:11:43] [INFO ] [Real]Absence check using 185 positive place invariants in 132 ms returned unsat
[2020-05-18 23:11:44] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 23:11:44] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 36 ms returned unsat
[2020-05-18 23:11:44] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 23:11:44] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 23:11:45] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 23:11:45] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 23:11:45] [INFO ] [Real]Absence check using 185 positive place invariants in 247 ms returned unsat
[2020-05-18 23:11:46] [INFO ] [Real]Absence check using 185 positive place invariants in 236 ms returned sat
[2020-05-18 23:11:46] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 53 ms returned sat
[2020-05-18 23:11:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:11:58] [INFO ] [Real]Absence check using state equation in 12128 ms returned sat
[2020-05-18 23:11:58] [INFO ] [Real]Added 1 Read/Feed constraints in 100 ms returned sat
[2020-05-18 23:11:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 359 ms.
[2020-05-18 23:11:59] [INFO ] Added : 6 causal constraints over 2 iterations in 1167 ms. Result :sat
[2020-05-18 23:12:00] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 23:12:00] [INFO ] [Real]Absence check using 185 positive place invariants in 236 ms returned sat
[2020-05-18 23:12:00] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 64 ms returned sat
[2020-05-18 23:12:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:12:16] [INFO ] [Real]Absence check using state equation in 15582 ms returned sat
[2020-05-18 23:12:16] [INFO ] [Real]Added 1 Read/Feed constraints in 45 ms returned sat
[2020-05-18 23:12:16] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 349 ms.
[2020-05-18 23:12:17] [INFO ] Added : 6 causal constraints over 2 iterations in 953 ms. Result :sat
[2020-05-18 23:12:18] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:12:18] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 23:12:18] [INFO ] [Real]Absence check using 185 positive place invariants in 95 ms returned unsat
[2020-05-18 23:12:18] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 23:12:18] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 23:12:19] [INFO ] [Real]Absence check using 185 positive place invariants in 180 ms returned sat
[2020-05-18 23:12:19] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 48 ms returned sat
[2020-05-18 23:12:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:12:32] [INFO ] [Real]Absence check using state equation in 12916 ms returned sat
[2020-05-18 23:12:32] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 23:12:32] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 324 ms.
[2020-05-18 23:12:33] [INFO ] Added : 6 causal constraints over 2 iterations in 972 ms. Result :sat
[2020-05-18 23:12:34] [INFO ] [Real]Absence check using 185 positive place invariants in 85 ms returned unsat
[2020-05-18 23:12:34] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 23:12:34] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 23:12:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:12:47] [INFO ] [Real]Absence check using state equation in 12881 ms returned sat
[2020-05-18 23:12:47] [INFO ] [Real]Added 1 Read/Feed constraints in 52 ms returned sat
[2020-05-18 23:12:48] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 406 ms.
[2020-05-18 23:12:48] [INFO ] Added : 6 causal constraints over 2 iterations in 1108 ms. Result :sat
[2020-05-18 23:12:49] [INFO ] [Real]Absence check using 185 positive place invariants in 48 ms returned unsat
[2020-05-18 23:12:49] [INFO ] [Real]Absence check using 185 positive place invariants in 51 ms returned unsat
[2020-05-18 23:12:49] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 23:12:50] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 23:12:50] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 63 ms returned sat
[2020-05-18 23:12:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:13:03] [INFO ] [Real]Absence check using state equation in 13544 ms returned sat
[2020-05-18 23:13:03] [INFO ] [Real]Added 1 Read/Feed constraints in 53 ms returned sat
[2020-05-18 23:13:04] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 316 ms.
[2020-05-18 23:13:05] [INFO ] Added : 6 causal constraints over 2 iterations in 1050 ms. Result :sat
[2020-05-18 23:13:05] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 23:13:05] [INFO ] [Real]Absence check using 185 positive place invariants in 152 ms returned unsat
[2020-05-18 23:13:06] [INFO ] [Real]Absence check using 185 positive place invariants in 112 ms returned unsat
[2020-05-18 23:13:06] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:13:06] [INFO ] [Real]Absence check using 185 positive place invariants in 51 ms returned unsat
[2020-05-18 23:13:06] [INFO ] [Real]Absence check using 185 positive place invariants in 177 ms returned sat
[2020-05-18 23:13:07] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned sat
[2020-05-18 23:13:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:13:18] [INFO ] [Real]Absence check using state equation in 11965 ms returned sat
[2020-05-18 23:13:19] [INFO ] [Real]Added 1 Read/Feed constraints in 68 ms returned sat
[2020-05-18 23:13:19] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 341 ms.
[2020-05-18 23:13:20] [INFO ] Added : 6 causal constraints over 2 iterations in 922 ms. Result :sat
[2020-05-18 23:13:20] [INFO ] [Real]Absence check using 185 positive place invariants in 236 ms returned sat
[2020-05-18 23:13:20] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 75 ms returned sat
[2020-05-18 23:13:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:13:34] [INFO ] [Real]Absence check using state equation in 13403 ms returned sat
[2020-05-18 23:13:34] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 23:13:34] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 275 ms.
[2020-05-18 23:13:35] [INFO ] Added : 6 causal constraints over 2 iterations in 836 ms. Result :sat
[2020-05-18 23:13:35] [INFO ] [Real]Absence check using 185 positive place invariants in 133 ms returned unsat
[2020-05-18 23:13:36] [INFO ] [Real]Absence check using 185 positive place invariants in 66 ms returned unsat
[2020-05-18 23:13:36] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 23:13:36] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 23:13:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:13:50] [INFO ] [Real]Absence check using state equation in 13870 ms returned sat
[2020-05-18 23:13:50] [INFO ] [Real]Added 1 Read/Feed constraints in 56 ms returned sat
[2020-05-18 23:13:51] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 466 ms.
[2020-05-18 23:13:52] [INFO ] Added : 6 causal constraints over 2 iterations in 1368 ms. Result :sat
[2020-05-18 23:13:52] [INFO ] [Real]Absence check using 185 positive place invariants in 51 ms returned unsat
[2020-05-18 23:13:53] [INFO ] [Real]Absence check using 185 positive place invariants in 234 ms returned sat
[2020-05-18 23:13:53] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 41 ms returned unsat
[2020-05-18 23:13:53] [INFO ] [Real]Absence check using 185 positive place invariants in 72 ms returned unsat
[2020-05-18 23:13:53] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 23:13:53] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 23:13:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:14:06] [INFO ] [Real]Absence check using state equation in 12397 ms returned sat
[2020-05-18 23:14:06] [INFO ] [Real]Added 1 Read/Feed constraints in 56 ms returned sat
[2020-05-18 23:14:06] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 264 ms.
[2020-05-18 23:14:07] [INFO ] Added : 6 causal constraints over 2 iterations in 971 ms. Result :sat
[2020-05-18 23:14:08] [INFO ] [Real]Absence check using 185 positive place invariants in 265 ms returned sat
[2020-05-18 23:14:08] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 23:14:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:14:20] [INFO ] [Real]Absence check using state equation in 12054 ms returned sat
[2020-05-18 23:14:20] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-05-18 23:14:20] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 333 ms.
[2020-05-18 23:14:21] [INFO ] Added : 6 causal constraints over 2 iterations in 1015 ms. Result :sat
[2020-05-18 23:14:22] [INFO ] [Real]Absence check using 185 positive place invariants in 94 ms returned unsat
[2020-05-18 23:14:22] [INFO ] [Real]Absence check using 185 positive place invariants in 79 ms returned unsat
[2020-05-18 23:14:22] [INFO ] [Real]Absence check using 185 positive place invariants in 145 ms returned unsat
[2020-05-18 23:14:23] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 23:14:23] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 23:14:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:14:35] [INFO ] [Real]Absence check using state equation in 12699 ms returned sat
[2020-05-18 23:14:35] [INFO ] [Real]Added 1 Read/Feed constraints in 69 ms returned sat
[2020-05-18 23:14:36] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 271 ms.
[2020-05-18 23:14:37] [INFO ] Added : 6 causal constraints over 2 iterations in 959 ms. Result :sat
[2020-05-18 23:14:37] [INFO ] [Real]Absence check using 185 positive place invariants in 66 ms returned unsat
[2020-05-18 23:14:37] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:14:38] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 23:14:38] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 60 ms returned sat
[2020-05-18 23:14:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:14:50] [INFO ] [Real]Absence check using state equation in 12421 ms returned sat
[2020-05-18 23:14:50] [INFO ] [Real]Added 1 Read/Feed constraints in 70 ms returned sat
[2020-05-18 23:14:51] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 362 ms.
[2020-05-18 23:14:51] [INFO ] Added : 6 causal constraints over 2 iterations in 981 ms. Result :sat
[2020-05-18 23:14:52] [INFO ] [Real]Absence check using 185 positive place invariants in 239 ms returned sat
[2020-05-18 23:14:52] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 35 ms returned unsat
[2020-05-18 23:14:52] [INFO ] [Real]Absence check using 185 positive place invariants in 88 ms returned unsat
[2020-05-18 23:14:53] [INFO ] [Real]Absence check using 185 positive place invariants in 104 ms returned unsat
[2020-05-18 23:14:53] [INFO ] [Real]Absence check using 185 positive place invariants in 49 ms returned unsat
[2020-05-18 23:14:53] [INFO ] [Real]Absence check using 185 positive place invariants in 88 ms returned unsat
[2020-05-18 23:14:53] [INFO ] [Real]Absence check using 185 positive place invariants in 115 ms returned unsat
[2020-05-18 23:14:54] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 23:14:54] [INFO ] [Real]Absence check using 185 positive place invariants in 70 ms returned unsat
[2020-05-18 23:14:54] [INFO ] [Real]Absence check using 185 positive place invariants in 230 ms returned sat
[2020-05-18 23:14:54] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 47 ms returned unsat
[2020-05-18 23:14:55] [INFO ] [Real]Absence check using 185 positive place invariants in 261 ms returned sat
[2020-05-18 23:14:55] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 75 ms returned sat
[2020-05-18 23:14:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:15:08] [INFO ] [Real]Absence check using state equation in 13208 ms returned sat
[2020-05-18 23:15:08] [INFO ] [Real]Added 1 Read/Feed constraints in 74 ms returned sat
[2020-05-18 23:15:08] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 266 ms.
[2020-05-18 23:15:09] [INFO ] Added : 6 causal constraints over 2 iterations in 991 ms. Result :sat
[2020-05-18 23:15:10] [INFO ] [Real]Absence check using 185 positive place invariants in 68 ms returned unsat
[2020-05-18 23:15:10] [INFO ] [Real]Absence check using 185 positive place invariants in 108 ms returned unsat
[2020-05-18 23:15:10] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 23:15:11] [INFO ] [Real]Absence check using 185 positive place invariants in 243 ms returned sat
[2020-05-18 23:15:11] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 58 ms returned sat
[2020-05-18 23:15:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:15:23] [INFO ] [Real]Absence check using state equation in 12393 ms returned sat
[2020-05-18 23:15:23] [INFO ] [Real]Added 1 Read/Feed constraints in 72 ms returned sat
[2020-05-18 23:15:24] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 326 ms.
[2020-05-18 23:15:24] [INFO ] Added : 6 causal constraints over 2 iterations in 930 ms. Result :sat
[2020-05-18 23:15:25] [INFO ] [Real]Absence check using 185 positive place invariants in 80 ms returned unsat
[2020-05-18 23:15:25] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:15:25] [INFO ] [Real]Absence check using 185 positive place invariants in 243 ms returned sat
[2020-05-18 23:15:26] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 76 ms returned sat
[2020-05-18 23:15:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:15:39] [INFO ] [Real]Absence check using state equation in 13491 ms returned sat
[2020-05-18 23:15:39] [INFO ] [Real]Added 1 Read/Feed constraints in 118 ms returned sat
[2020-05-18 23:15:40] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 295 ms.
[2020-05-18 23:15:41] [INFO ] Added : 6 causal constraints over 2 iterations in 1210 ms. Result :sat
[2020-05-18 23:15:41] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 23:15:42] [INFO ] [Real]Absence check using 185 positive place invariants in 330 ms returned unsat
[2020-05-18 23:15:42] [INFO ] [Real]Absence check using 185 positive place invariants in 49 ms returned unsat
[2020-05-18 23:15:43] [INFO ] [Real]Absence check using 185 positive place invariants in 443 ms returned unsat
[2020-05-18 23:15:43] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 23:15:44] [INFO ] [Real]Absence check using 185 positive place invariants in 1226 ms returned sat
[2020-05-18 23:15:44] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 129 ms returned sat
[2020-05-18 23:15:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:16:01] [INFO ] [Real]Absence check using state equation in 16365 ms returned sat
[2020-05-18 23:16:01] [INFO ] [Real]Added 1 Read/Feed constraints in 118 ms returned sat
[2020-05-18 23:16:01] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 437 ms.
[2020-05-18 23:16:02] [INFO ] Added : 6 causal constraints over 2 iterations in 1211 ms. Result :sat
[2020-05-18 23:16:03] [INFO ] [Real]Absence check using 185 positive place invariants in 162 ms returned unsat
[2020-05-18 23:16:03] [INFO ] [Real]Absence check using 185 positive place invariants in 245 ms returned sat
[2020-05-18 23:16:03] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 43 ms returned unsat
[2020-05-18 23:16:04] [INFO ] [Real]Absence check using 185 positive place invariants in 215 ms returned unsat
[2020-05-18 23:16:04] [INFO ] [Real]Absence check using 185 positive place invariants in 210 ms returned unsat
[2020-05-18 23:16:05] [INFO ] [Real]Absence check using 185 positive place invariants in 249 ms returned sat
[2020-05-18 23:16:05] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 69 ms returned sat
[2020-05-18 23:16:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:16:19] [INFO ] [Real]Absence check using state equation in 13961 ms returned sat
[2020-05-18 23:16:19] [INFO ] [Real]Added 1 Read/Feed constraints in 80 ms returned sat
[2020-05-18 23:16:19] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 386 ms.
[2020-05-18 23:16:20] [INFO ] Added : 6 causal constraints over 2 iterations in 1155 ms. Result :sat
[2020-05-18 23:16:21] [INFO ] [Real]Absence check using 185 positive place invariants in 84 ms returned unsat
[2020-05-18 23:16:21] [INFO ] [Real]Absence check using 185 positive place invariants in 79 ms returned unsat
[2020-05-18 23:16:21] [INFO ] [Real]Absence check using 185 positive place invariants in 220 ms returned sat
[2020-05-18 23:16:21] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 23:16:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:16:35] [INFO ] [Real]Absence check using state equation in 13262 ms returned sat
[2020-05-18 23:16:35] [INFO ] [Real]Added 1 Read/Feed constraints in 78 ms returned sat
[2020-05-18 23:16:35] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 468 ms.
[2020-05-18 23:16:36] [INFO ] Added : 6 causal constraints over 2 iterations in 1434 ms. Result :sat
[2020-05-18 23:16:37] [INFO ] [Real]Absence check using 185 positive place invariants in 225 ms returned sat
[2020-05-18 23:16:37] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 23:16:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:16:48] [INFO ] [Real]Absence check using state equation in 11299 ms returned sat
[2020-05-18 23:16:48] [INFO ] [Real]Added 1 Read/Feed constraints in 79 ms returned sat
[2020-05-18 23:16:49] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 290 ms.
[2020-05-18 23:16:50] [INFO ] Added : 6 causal constraints over 2 iterations in 1339 ms. Result :sat
[2020-05-18 23:16:51] [INFO ] [Real]Absence check using 185 positive place invariants in 241 ms returned sat
[2020-05-18 23:16:51] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 39 ms returned unsat
[2020-05-18 23:16:51] [INFO ] [Real]Absence check using 185 positive place invariants in 96 ms returned unsat
[2020-05-18 23:16:51] [INFO ] [Real]Absence check using 185 positive place invariants in 239 ms returned sat
[2020-05-18 23:16:51] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 23:16:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:17:05] [INFO ] [Real]Absence check using state equation in 13214 ms returned sat
[2020-05-18 23:17:05] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 23:17:05] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 368 ms.
[2020-05-18 23:17:06] [INFO ] Added : 6 causal constraints over 2 iterations in 1136 ms. Result :sat
[2020-05-18 23:17:07] [INFO ] [Real]Absence check using 185 positive place invariants in 132 ms returned unsat
[2020-05-18 23:17:07] [INFO ] [Real]Absence check using 185 positive place invariants in 33 ms returned unsat
[2020-05-18 23:17:07] [INFO ] [Real]Absence check using 185 positive place invariants in 244 ms returned sat
[2020-05-18 23:17:07] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 23:17:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:17:20] [INFO ] [Real]Absence check using state equation in 12791 ms returned sat
[2020-05-18 23:17:20] [INFO ] [Real]Added 1 Read/Feed constraints in 84 ms returned sat
[2020-05-18 23:17:21] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 281 ms.
[2020-05-18 23:17:21] [INFO ] Added : 6 causal constraints over 2 iterations in 1022 ms. Result :sat
[2020-05-18 23:17:22] [INFO ] [Real]Absence check using 185 positive place invariants in 51 ms returned unsat
[2020-05-18 23:17:22] [INFO ] [Real]Absence check using 185 positive place invariants in 231 ms returned sat
[2020-05-18 23:17:22] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 63 ms returned sat
[2020-05-18 23:17:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:17:36] [INFO ] [Real]Absence check using state equation in 13695 ms returned sat
[2020-05-18 23:17:36] [INFO ] [Real]Added 1 Read/Feed constraints in 77 ms returned sat
[2020-05-18 23:17:37] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 379 ms.
[2020-05-18 23:17:37] [INFO ] Added : 6 causal constraints over 2 iterations in 1161 ms. Result :sat
[2020-05-18 23:17:38] [INFO ] [Real]Absence check using 185 positive place invariants in 48 ms returned unsat
[2020-05-18 23:17:38] [INFO ] [Real]Absence check using 185 positive place invariants in 238 ms returned sat
[2020-05-18 23:17:38] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 71 ms returned sat
[2020-05-18 23:17:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:17:51] [INFO ] [Real]Absence check using state equation in 12638 ms returned sat
[2020-05-18 23:17:51] [INFO ] [Real]Added 1 Read/Feed constraints in 73 ms returned sat
[2020-05-18 23:17:52] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 343 ms.
[2020-05-18 23:17:52] [INFO ] Added : 6 causal constraints over 2 iterations in 1084 ms. Result :sat
[2020-05-18 23:17:53] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 23:17:53] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 64 ms returned sat
[2020-05-18 23:17:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:18:07] [INFO ] [Real]Absence check using state equation in 13352 ms returned sat
[2020-05-18 23:18:07] [INFO ] [Real]Added 1 Read/Feed constraints in 75 ms returned sat
[2020-05-18 23:18:07] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 364 ms.
[2020-05-18 23:18:08] [INFO ] Added : 6 causal constraints over 2 iterations in 1039 ms. Result :sat
[2020-05-18 23:18:09] [INFO ] [Real]Absence check using 185 positive place invariants in 246 ms returned sat
[2020-05-18 23:18:09] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 68 ms returned sat
[2020-05-18 23:18:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:18:23] [INFO ] [Real]Absence check using state equation in 14118 ms returned sat
[2020-05-18 23:18:23] [INFO ] [Real]Added 1 Read/Feed constraints in 75 ms returned sat
[2020-05-18 23:18:23] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 275 ms.
[2020-05-18 23:18:24] [INFO ] Added : 6 causal constraints over 2 iterations in 972 ms. Result :sat
[2020-05-18 23:18:25] [INFO ] [Real]Absence check using 185 positive place invariants in 86 ms returned unsat
[2020-05-18 23:18:25] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 23:18:25] [INFO ] [Real]Absence check using 185 positive place invariants in 246 ms returned sat
[2020-05-18 23:18:25] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 38 ms returned unsat
[2020-05-18 23:18:26] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 23:18:26] [INFO ] [Real]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 23:18:26] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 23:18:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:18:42] [INFO ] [Real]Absence check using state equation in 15826 ms returned sat
[2020-05-18 23:18:42] [INFO ] [Real]Added 1 Read/Feed constraints in 83 ms returned sat
[2020-05-18 23:18:43] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 519 ms.
[2020-05-18 23:18:43] [INFO ] Added : 6 causal constraints over 2 iterations in 1382 ms. Result :sat
[2020-05-18 23:18:44] [INFO ] [Real]Absence check using 185 positive place invariants in 48 ms returned unsat
[2020-05-18 23:18:45] [INFO ] [Real]Absence check using 185 positive place invariants in 258 ms returned unsat
[2020-05-18 23:18:45] [INFO ] [Real]Absence check using 185 positive place invariants in 377 ms returned sat
[2020-05-18 23:18:45] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 80 ms returned sat
[2020-05-18 23:18:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:18:59] [INFO ] [Real]Absence check using state equation in 13399 ms returned sat
[2020-05-18 23:18:59] [INFO ] [Real]Added 1 Read/Feed constraints in 73 ms returned sat
[2020-05-18 23:18:59] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 258 ms.
[2020-05-18 23:19:00] [INFO ] Added : 6 causal constraints over 2 iterations in 1006 ms. Result :sat
[2020-05-18 23:19:00] [INFO ] [Real]Absence check using 185 positive place invariants in 62 ms returned unsat
[2020-05-18 23:19:01] [INFO ] [Real]Absence check using 185 positive place invariants in 232 ms returned sat
[2020-05-18 23:19:01] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 31 ms returned unsat
[2020-05-18 23:19:01] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 23:19:01] [INFO ] [Real]Absence check using 185 positive place invariants in 71 ms returned unsat
[2020-05-18 23:19:02] [INFO ] [Real]Absence check using 185 positive place invariants in 80 ms returned unsat
[2020-05-18 23:19:02] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 23:19:02] [INFO ] [Real]Absence check using 185 positive place invariants in 201 ms returned sat
[2020-05-18 23:19:02] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 49 ms returned sat
[2020-05-18 23:19:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:19:17] [INFO ] [Real]Absence check using state equation in 14501 ms returned sat
[2020-05-18 23:19:17] [INFO ] [Real]Added 1 Read/Feed constraints in 72 ms returned sat
[2020-05-18 23:19:18] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 404 ms.
[2020-05-18 23:19:18] [INFO ] Added : 6 causal constraints over 2 iterations in 1110 ms. Result :sat
[2020-05-18 23:19:19] [INFO ] [Real]Absence check using 185 positive place invariants in 45 ms returned unsat
[2020-05-18 23:19:19] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 23:19:19] [INFO ] [Real]Absence check using 185 positive place invariants in 44 ms returned unsat
[2020-05-18 23:19:20] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 23:19:20] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 67 ms returned sat
[2020-05-18 23:19:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:19:33] [INFO ] [Real]Absence check using state equation in 13526 ms returned sat
[2020-05-18 23:19:33] [INFO ] [Real]Added 1 Read/Feed constraints in 49 ms returned sat
[2020-05-18 23:19:34] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 296 ms.
[2020-05-18 23:19:34] [INFO ] Added : 6 causal constraints over 2 iterations in 991 ms. Result :sat
[2020-05-18 23:19:35] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 23:19:35] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 23:19:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:19:47] [INFO ] [Real]Absence check using state equation in 11290 ms returned sat
[2020-05-18 23:19:47] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-05-18 23:19:47] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 384 ms.
[2020-05-18 23:19:48] [INFO ] Added : 6 causal constraints over 2 iterations in 1062 ms. Result :sat
[2020-05-18 23:19:48] [INFO ] [Real]Absence check using 185 positive place invariants in 88 ms returned unsat
[2020-05-18 23:19:49] [INFO ] [Real]Absence check using 185 positive place invariants in 82 ms returned unsat
[2020-05-18 23:19:49] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 23:19:49] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 30 ms returned unsat
[2020-05-18 23:19:49] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 23:19:50] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 50 ms returned sat
[2020-05-18 23:19:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:20:03] [INFO ] [Real]Absence check using state equation in 13745 ms returned sat
[2020-05-18 23:20:03] [INFO ] [Real]Added 1 Read/Feed constraints in 111 ms returned sat
[2020-05-18 23:20:04] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 301 ms.
[2020-05-18 23:20:05] [INFO ] Added : 6 causal constraints over 2 iterations in 1135 ms. Result :sat
[2020-05-18 23:20:05] [INFO ] [Real]Absence check using 185 positive place invariants in 67 ms returned unsat
[2020-05-18 23:20:06] [INFO ] [Real]Absence check using 185 positive place invariants in 416 ms returned sat
[2020-05-18 23:20:06] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 83 ms returned sat
[2020-05-18 23:20:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:20:20] [INFO ] [Real]Absence check using state equation in 13789 ms returned sat
[2020-05-18 23:20:20] [INFO ] [Real]Added 1 Read/Feed constraints in 85 ms returned sat
[2020-05-18 23:20:20] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 374 ms.
[2020-05-18 23:20:22] [INFO ] Added : 6 causal constraints over 2 iterations in 1940 ms. Result :sat
[2020-05-18 23:20:22] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 23:20:23] [INFO ] [Real]Absence check using 185 positive place invariants in 92 ms returned unsat
[2020-05-18 23:20:23] [INFO ] [Real]Absence check using 185 positive place invariants in 68 ms returned unsat
[2020-05-18 23:20:23] [INFO ] [Real]Absence check using 185 positive place invariants in 146 ms returned unsat
[2020-05-18 23:20:23] [INFO ] [Real]Absence check using 185 positive place invariants in 23 ms returned unsat
[2020-05-18 23:20:24] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 23:20:24] [INFO ] [Real]Absence check using 185 positive place invariants in 127 ms returned unsat
[2020-05-18 23:20:24] [INFO ] [Real]Absence check using 185 positive place invariants in 100 ms returned unsat
[2020-05-18 23:20:24] [INFO ] [Real]Absence check using 185 positive place invariants in 96 ms returned unsat
[2020-05-18 23:20:25] [INFO ] [Real]Absence check using 185 positive place invariants in 68 ms returned unsat
[2020-05-18 23:20:25] [INFO ] [Real]Absence check using 185 positive place invariants in 51 ms returned unsat
[2020-05-18 23:20:25] [INFO ] [Real]Absence check using 185 positive place invariants in 65 ms returned unsat
[2020-05-18 23:20:25] [INFO ] [Real]Absence check using 185 positive place invariants in 141 ms returned unsat
[2020-05-18 23:20:26] [INFO ] [Real]Absence check using 185 positive place invariants in 225 ms returned sat
[2020-05-18 23:20:26] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 52 ms returned sat
[2020-05-18 23:20:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:20:38] [INFO ] [Real]Absence check using state equation in 12676 ms returned sat
[2020-05-18 23:20:39] [INFO ] [Real]Added 1 Read/Feed constraints in 73 ms returned sat
[2020-05-18 23:20:39] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 262 ms.
[2020-05-18 23:20:40] [INFO ] Added : 6 causal constraints over 2 iterations in 1660 ms. Result :sat
[2020-05-18 23:20:41] [INFO ] [Real]Absence check using 185 positive place invariants in 239 ms returned sat
[2020-05-18 23:20:41] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 71 ms returned sat
[2020-05-18 23:20:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:20:53] [INFO ] [Real]Absence check using state equation in 11876 ms returned sat
[2020-05-18 23:20:53] [INFO ] [Real]Added 1 Read/Feed constraints in 66 ms returned sat
[2020-05-18 23:20:54] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 346 ms.
[2020-05-18 23:20:54] [INFO ] Added : 6 causal constraints over 2 iterations in 1031 ms. Result :sat
[2020-05-18 23:20:55] [INFO ] [Real]Absence check using 185 positive place invariants in 93 ms returned unsat
[2020-05-18 23:20:55] [INFO ] [Real]Absence check using 185 positive place invariants in 248 ms returned sat
[2020-05-18 23:20:55] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 23:20:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:21:10] [INFO ] [Real]Absence check using state equation in 14122 ms returned sat
[2020-05-18 23:21:10] [INFO ] [Real]Added 1 Read/Feed constraints in 63 ms returned sat
[2020-05-18 23:21:10] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 278 ms.
[2020-05-18 23:21:11] [INFO ] Added : 6 causal constraints over 2 iterations in 832 ms. Result :sat
[2020-05-18 23:21:11] [INFO ] [Real]Absence check using 185 positive place invariants in 81 ms returned unsat
[2020-05-18 23:21:11] [INFO ] [Real]Absence check using 185 positive place invariants in 127 ms returned unsat
[2020-05-18 23:21:12] [INFO ] [Real]Absence check using 185 positive place invariants in 219 ms returned sat
[2020-05-18 23:21:12] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 52 ms returned sat
[2020-05-18 23:21:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:21:26] [INFO ] [Real]Absence check using state equation in 13634 ms returned sat
[2020-05-18 23:21:26] [INFO ] [Real]Added 1 Read/Feed constraints in 61 ms returned sat
[2020-05-18 23:21:26] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 329 ms.
[2020-05-18 23:21:27] [INFO ] Added : 6 causal constraints over 2 iterations in 971 ms. Result :sat
[2020-05-18 23:21:27] [INFO ] [Real]Absence check using 185 positive place invariants in 232 ms returned sat
[2020-05-18 23:21:27] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 35 ms returned unsat
[2020-05-18 23:21:28] [INFO ] [Real]Absence check using 185 positive place invariants in 133 ms returned unsat
[2020-05-18 23:21:28] [INFO ] [Real]Absence check using 185 positive place invariants in 225 ms returned sat
[2020-05-18 23:21:28] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 51 ms returned sat
[2020-05-18 23:21:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:21:40] [INFO ] [Real]Absence check using state equation in 11907 ms returned sat
[2020-05-18 23:21:40] [INFO ] [Real]Added 1 Read/Feed constraints in 122 ms returned sat
[2020-05-18 23:21:41] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 299 ms.
[2020-05-18 23:21:41] [INFO ] Added : 6 causal constraints over 2 iterations in 1108 ms. Result :sat
[2020-05-18 23:21:42] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:21:42] [INFO ] [Real]Absence check using 185 positive place invariants in 90 ms returned unsat
[2020-05-18 23:21:42] [INFO ] [Real]Absence check using 185 positive place invariants in 101 ms returned unsat
[2020-05-18 23:21:43] [INFO ] [Real]Absence check using 185 positive place invariants in 237 ms returned sat
[2020-05-18 23:21:43] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 23:21:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:21:57] [INFO ] [Real]Absence check using state equation in 13951 ms returned sat
[2020-05-18 23:21:57] [INFO ] [Real]Added 1 Read/Feed constraints in 64 ms returned sat
[2020-05-18 23:21:58] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 430 ms.
[2020-05-18 23:21:58] [INFO ] Added : 6 causal constraints over 2 iterations in 1132 ms. Result :sat
[2020-05-18 23:21:59] [INFO ] [Real]Absence check using 185 positive place invariants in 47 ms returned unsat
[2020-05-18 23:21:59] [INFO ] [Real]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 23:21:59] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 64 ms returned sat
[2020-05-18 23:21:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:22:11] [INFO ] [Real]Absence check using state equation in 11927 ms returned sat
[2020-05-18 23:22:11] [INFO ] [Real]Added 1 Read/Feed constraints in 47 ms returned sat
[2020-05-18 23:22:12] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 388 ms.
[2020-05-18 23:22:13] [INFO ] Added : 6 causal constraints over 2 iterations in 1120 ms. Result :sat
[2020-05-18 23:22:13] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:22:14] [INFO ] [Real]Absence check using 185 positive place invariants in 234 ms returned sat
[2020-05-18 23:22:14] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 42 ms returned unsat
[2020-05-18 23:22:14] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 23:22:14] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 63 ms returned sat
[2020-05-18 23:22:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:22:30] [INFO ] [Real]Absence check using state equation in 15727 ms returned sat
[2020-05-18 23:22:30] [INFO ] [Real]Added 1 Read/Feed constraints in 50 ms returned sat
[2020-05-18 23:22:31] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 419 ms.
[2020-05-18 23:22:31] [INFO ] Added : 6 causal constraints over 2 iterations in 1186 ms. Result :sat
[2020-05-18 23:22:32] [INFO ] [Real]Absence check using 185 positive place invariants in 244 ms returned sat
[2020-05-18 23:22:32] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 31 ms returned unsat
[2020-05-18 23:22:33] [INFO ] [Real]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 23:22:33] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 72 ms returned sat
[2020-05-18 23:22:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:22:44] [INFO ] [Real]Absence check using state equation in 11751 ms returned sat
[2020-05-18 23:22:44] [INFO ] [Real]Added 1 Read/Feed constraints in 91 ms returned sat
[2020-05-18 23:22:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 276 ms.
[2020-05-18 23:22:46] [INFO ] Added : 6 causal constraints over 2 iterations in 1091 ms. Result :sat
[2020-05-18 23:22:46] [INFO ] [Real]Absence check using 185 positive place invariants in 34 ms returned unsat
[2020-05-18 23:22:46] [INFO ] [Real]Absence check using 185 positive place invariants in 89 ms returned unsat
[2020-05-18 23:22:47] [INFO ] [Real]Absence check using 185 positive place invariants in 243 ms returned sat
[2020-05-18 23:22:47] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 33 ms returned unsat
[2020-05-18 23:22:47] [INFO ] [Real]Absence check using 185 positive place invariants in 246 ms returned sat
[2020-05-18 23:22:47] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 23:22:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:22:59] [INFO ] [Real]Absence check using state equation in 11983 ms returned sat
[2020-05-18 23:23:00] [INFO ] [Real]Added 1 Read/Feed constraints in 80 ms returned sat
[2020-05-18 23:23:00] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 431 ms.
[2020-05-18 23:23:01] [INFO ] Added : 6 causal constraints over 2 iterations in 1459 ms. Result :sat
[2020-05-18 23:23:02] [INFO ] [Real]Absence check using 185 positive place invariants in 223 ms returned sat
[2020-05-18 23:23:02] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 69 ms returned sat
[2020-05-18 23:23:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:23:16] [INFO ] [Real]Absence check using state equation in 13964 ms returned sat
[2020-05-18 23:23:16] [INFO ] [Real]Added 1 Read/Feed constraints in 76 ms returned sat
[2020-05-18 23:23:17] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 351 ms.
[2020-05-18 23:23:17] [INFO ] Added : 6 causal constraints over 2 iterations in 1117 ms. Result :sat
[2020-05-18 23:23:18] [INFO ] [Real]Absence check using 185 positive place invariants in 91 ms returned unsat
[2020-05-18 23:23:18] [INFO ] [Real]Absence check using 185 positive place invariants in 99 ms returned unsat
[2020-05-18 23:23:19] [INFO ] [Real]Absence check using 185 positive place invariants in 230 ms returned sat
[2020-05-18 23:23:19] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 23:23:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:23:31] [INFO ] [Real]Absence check using state equation in 12054 ms returned sat
[2020-05-18 23:23:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:23:31] [INFO ] [Nat]Absence check using 185 positive place invariants in 165 ms returned sat
[2020-05-18 23:23:31] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 44 ms returned sat
[2020-05-18 23:23:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:23:45] [INFO ] [Nat]Absence check using state equation in 13563 ms returned sat
[2020-05-18 23:23:45] [INFO ] [Nat]Added 1 Read/Feed constraints in 385 ms returned sat
[2020-05-18 23:23:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 317 ms.
[2020-05-18 23:23:51] [INFO ] Added : 105 causal constraints over 21 iterations in 5656 ms. Result :(error "Failed to check-sat")
[2020-05-18 23:23:51] [INFO ] [Real]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 23:23:51] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 23:23:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:24:03] [INFO ] [Real]Absence check using state equation in 11498 ms returned sat
[2020-05-18 23:24:03] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:24:03] [INFO ] [Nat]Absence check using 185 positive place invariants in 410 ms returned sat
[2020-05-18 23:24:03] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 23:24:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:24:18] [INFO ] [Nat]Absence check using state equation in 14391 ms returned sat
[2020-05-18 23:24:21] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 23:24:23] [INFO ] [Nat]Added 1 Read/Feed constraints in 4971 ms returned unknown
[2020-05-18 23:24:23] [INFO ] [Real]Absence check using 185 positive place invariants in 242 ms returned sat
[2020-05-18 23:24:23] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 61 ms returned sat
[2020-05-18 23:24:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:24:35] [INFO ] [Real]Absence check using state equation in 11560 ms returned sat
[2020-05-18 23:24:35] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:24:35] [INFO ] [Nat]Absence check using 185 positive place invariants in 228 ms returned sat
[2020-05-18 23:24:35] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 55 ms returned sat
[2020-05-18 23:24:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:24:51] [INFO ] [Nat]Absence check using state equation in 15238 ms returned sat
[2020-05-18 23:24:51] [INFO ] [Nat]Added 1 Read/Feed constraints in 97 ms returned sat
[2020-05-18 23:24:51] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 437 ms.
[2020-05-18 23:24:55] [INFO ] Added : 13 causal constraints over 3 iterations in 4188 ms. Result :unknown
[2020-05-18 23:24:55] [INFO ] [Real]Absence check using 185 positive place invariants in 178 ms returned sat
[2020-05-18 23:24:55] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 45 ms returned sat
[2020-05-18 23:24:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:25:08] [INFO ] [Real]Absence check using state equation in 12140 ms returned sat
[2020-05-18 23:25:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:25:08] [INFO ] [Nat]Absence check using 185 positive place invariants in 177 ms returned sat
[2020-05-18 23:25:08] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 45 ms returned sat
[2020-05-18 23:25:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:25:23] [INFO ] [Nat]Absence check using state equation in 14666 ms returned sat
[2020-05-18 23:25:23] [INFO ] [Nat]Added 1 Read/Feed constraints in 43 ms returned sat
[2020-05-18 23:25:23] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 329 ms.
[2020-05-18 23:25:28] [INFO ] Added : 35 causal constraints over 7 iterations in 4961 ms. Result :unknown
[2020-05-18 23:25:28] [INFO ] [Real]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 23:25:28] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 23:25:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:25:40] [INFO ] [Real]Absence check using state equation in 12319 ms returned sat
[2020-05-18 23:25:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:25:41] [INFO ] [Nat]Absence check using 185 positive place invariants in 235 ms returned sat
[2020-05-18 23:25:41] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 63 ms returned sat
[2020-05-18 23:25:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:25:58] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 23:25:58] [INFO ] [Nat]Absence check using state equation in 17502 ms returned sat
[2020-05-18 23:25:58] [INFO ] [Nat]Added 1 Read/Feed constraints in 44 ms returned sat
[2020-05-18 23:25:59] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 338 ms.
[2020-05-18 23:26:01] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (=> (> t301 0) (and (and (> t2484 0) (< o2484 o301)) (and (> t463 0) (< o463 o301))))") while checking expression at index 718
[2020-05-18 23:26:01] [INFO ] [Real]Absence check using 185 positive place invariants in 172 ms returned sat
[2020-05-18 23:26:01] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 48 ms returned sat
[2020-05-18 23:26:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:26:13] [INFO ] [Real]Absence check using state equation in 12381 ms returned sat
[2020-05-18 23:26:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:26:14] [INFO ] [Nat]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 23:26:14] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 67 ms returned sat
[2020-05-18 23:26:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:26:30] [INFO ] [Nat]Absence check using state equation in 15724 ms returned sat
[2020-05-18 23:26:33] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 23:26:33] [INFO ] [Nat]Added 1 Read/Feed constraints in 3818 ms returned unknown
[2020-05-18 23:26:34] [INFO ] [Real]Absence check using 185 positive place invariants in 231 ms returned sat
[2020-05-18 23:26:34] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 56 ms returned sat
[2020-05-18 23:26:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:26:47] [INFO ] [Real]Absence check using state equation in 12609 ms returned sat
[2020-05-18 23:26:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:26:47] [INFO ] [Nat]Absence check using 185 positive place invariants in 227 ms returned sat
[2020-05-18 23:26:47] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 23:26:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:27:06] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 23:27:07] [INFO ] [Nat]Absence check using state equation in 19582 ms returned unknown
[2020-05-18 23:27:07] [INFO ] [Real]Absence check using 185 positive place invariants in 171 ms returned sat
[2020-05-18 23:27:07] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 40 ms returned sat
[2020-05-18 23:27:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:27:21] [INFO ] [Real]Absence check using state equation in 13970 ms returned sat
[2020-05-18 23:27:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:27:21] [INFO ] [Nat]Absence check using 185 positive place invariants in 183 ms returned sat
[2020-05-18 23:27:21] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 45 ms returned sat
[2020-05-18 23:27:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:27:38] [INFO ] [Nat]Absence check using state equation in 16409 ms returned sat
[2020-05-18 23:27:39] [INFO ] [Nat]Added 1 Read/Feed constraints in 826 ms returned sat
[2020-05-18 23:27:39] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 364 ms.
[2020-05-18 23:27:41] [INFO ] Added : 15 causal constraints over 3 iterations in 2317 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-18 23:27:41] [INFO ] [Real]Absence check using 185 positive place invariants in 171 ms returned sat
[2020-05-18 23:27:41] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 44 ms returned sat
[2020-05-18 23:27:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:27:54] [INFO ] [Real]Absence check using state equation in 13010 ms returned sat
[2020-05-18 23:27:54] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:27:55] [INFO ] [Nat]Absence check using 185 positive place invariants in 240 ms returned sat
[2020-05-18 23:27:55] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 23:27:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:28:12] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 23:28:12] [INFO ] [Nat]Absence check using state equation in 17526 ms returned sat
[2020-05-18 23:28:13] [INFO ] [Nat]Added 1 Read/Feed constraints in 219 ms returned sat
[2020-05-18 23:28:13] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 296 ms.
[2020-05-18 23:28:15] [INFO ] Added : 5 causal constraints over 1 iterations in 1747 ms. Result :unknown
[2020-05-18 23:28:15] [INFO ] [Real]Absence check using 185 positive place invariants in 196 ms returned sat
[2020-05-18 23:28:15] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 71 ms returned sat
[2020-05-18 23:28:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:28:27] [INFO ] [Real]Absence check using state equation in 12396 ms returned sat
[2020-05-18 23:28:27] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:28:28] [INFO ] [Nat]Absence check using 185 positive place invariants in 224 ms returned sat
[2020-05-18 23:28:28] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 62 ms returned sat
[2020-05-18 23:28:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:28:42] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 23:28:44] [INFO ] [Nat]Absence check using state equation in 16291 ms returned sat
[2020-05-18 23:28:44] [INFO ] [Nat]Added 1 Read/Feed constraints in 158 ms returned sat
[2020-05-18 23:28:45] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 359 ms.
[2020-05-18 23:28:47] [INFO ] Added : 50 causal constraints over 10 iterations in 3043 ms. Result :(error "Failed to check-sat")
[2020-05-18 23:28:48] [INFO ] [Real]Absence check using 185 positive place invariants in 256 ms returned sat
[2020-05-18 23:28:48] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 64 ms returned sat
[2020-05-18 23:28:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:29:02] [INFO ] [Real]Absence check using state equation in 14076 ms returned sat
[2020-05-18 23:29:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:29:02] [INFO ] [Nat]Absence check using 185 positive place invariants in 170 ms returned sat
[2020-05-18 23:29:02] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 65 ms returned sat
[2020-05-18 23:29:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:29:17] [INFO ] [Nat]Absence check using state equation in 14253 ms returned sat
[2020-05-18 23:29:17] [INFO ] [Nat]Added 1 Read/Feed constraints in 358 ms returned sat
[2020-05-18 23:29:18] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 417 ms.
[2020-05-18 23:29:22] [INFO ] Added : 80 causal constraints over 16 iterations in 5003 ms. Result :(error "Failed to check-sat")
[2020-05-18 23:29:22] [INFO ] [Real]Absence check using 185 positive place invariants in 226 ms returned sat
[2020-05-18 23:29:23] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 63 ms returned sat
[2020-05-18 23:29:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:29:36] [INFO ] [Real]Absence check using state equation in 13067 ms returned sat
[2020-05-18 23:29:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:29:36] [INFO ] [Nat]Absence check using 185 positive place invariants in 229 ms returned sat
[2020-05-18 23:29:36] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 66 ms returned sat
[2020-05-18 23:29:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:29:50] [INFO ] [Nat]Absence check using state equation in 14100 ms returned sat
[2020-05-18 23:29:50] [INFO ] [Nat]Added 1 Read/Feed constraints in 218 ms returned sat
[2020-05-18 23:29:51] [INFO ] Computed and/alt/rep : 3379/267422/3370 causal constraints in 343 ms.
[2020-05-18 23:29:55] [INFO ] Added : 25 causal constraints over 8 iterations in 4287 ms. Result :sat
[2020-05-18 23:29:55] [INFO ] [Real]Absence check using 185 positive place invariants in 243 ms returned sat
[2020-05-18 23:29:55] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 60 ms returned sat
[2020-05-18 23:29:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:30:08] [INFO ] [Real]Absence check using state equation in 12332 ms returned sat
[2020-05-18 23:30:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:30:08] [INFO ] [Nat]Absence check using 185 positive place invariants in 231 ms returned sat
[2020-05-18 23:30:08] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 59 ms returned sat
[2020-05-18 23:30:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-18 23:30:25] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 23:30:28] [INFO ] [Nat]Absence check using state equation in 19231 ms returned unknown
[2020-05-18 23:30:28] [INFO ] [Real]Absence check using 185 positive place invariants in 241 ms returned sat
[2020-05-18 23:30:28] [INFO ] [Real]Absence check using 185 positive and 7 generalized place invariants in 69 ms returned sat
[2020-05-18 23:30:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 23:30:40] [INFO ] [Real]Absence check using state equation in 12495 ms returned sat
[2020-05-18 23:30:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-18 23:30:41] [INFO ] [Nat]Absence check using 185 positive place invariants in 169 ms returned sat
[2020-05-18 23:30:41] [INFO ] [Nat]Absence check using 185 positive and 7 generalized place invariants in 57 ms returned sat
[2020-05-18 23:30:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
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="PolyORBNT-COL-S10J80"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
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 itstools"
echo " Input is PolyORBNT-COL-S10J80, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r126-tajo-158961390600626"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J80.tgz
mv PolyORBNT-COL-S10J80 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;