fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r037-tajo-162038176800074
Last Updated
Jun 28, 2021

About the Execution of 2020-gold for BridgeAndVehicles-COL-V80P50N20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1328.592 3600000.00 3844276.00 985.90 [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/mcc2021-input.r037-tajo-162038176800074.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-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 gold2020
Input is BridgeAndVehicles-COL-V80P50N20, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r037-tajo-162038176800074
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 21K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 156K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 02:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 02:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Mar 22 12:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 22 12:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 10 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 45K May 5 16:51 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 BridgeAndVehicles-COL-V80P50N20-00
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-01
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-02
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-03
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-04
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-05
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-06
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-07
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-08
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-09
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-10
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-11
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-12
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-13
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-14
FORMULA_NAME BridgeAndVehicles-COL-V80P50N20-15

=== Now, execution of the tool begins

BK_START 1620928840850

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-13 18:00:43] [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, -timeout, 3600, -rebuildPNML]
[2021-05-13 18:00:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 18:00:43] [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.
[2021-05-13 18:00:44] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 711 ms
[2021-05-13 18:00:44] [INFO ] sort/places :
sens->CONTROLEUR,CHOIX,VIDANGE,
compteur->COMPTEUR,
Dot->CAPACITE,SORTI_A,ROUTE_A,ATTENTE_A,SUR_PONT_A,SUR_PONT_B,ATTENTE_B,ROUTE_B,SORTI_B,
voitureA->NB_ATTENTE_A,
voitureB->NB_ATTENTE_B,

[2021-05-13 18:00:44] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 198 PT places and 551698.0 transition bindings in 46 ms.
[2021-05-13 18:00:44] [INFO ] Computed order based on color domains.
[2021-05-13 18:00:44] [INFO ] Unfolded HLPN to a Petri net with 198 places and 3728 transitions in 114 ms.
[2021-05-13 18:00:44] [INFO ] Unfolded HLPN properties in 7 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 430 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 145 resets, run finished after 8215 ms. (steps per millisecond=12 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 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, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 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, 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, 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, 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, 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, 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, 1, 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, 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, 1, 0, 0, 0, 0, 1, 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, 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, 1, 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, 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, 1, 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, 1, 1, 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, 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, 1, 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, 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, 1, 0, 1, 1, 1]
[2021-05-13 18:00:53] [INFO ] Flow matrix only has 410 transitions (discarded 3318 similar events)
// Phase 1: matrix 410 rows 198 cols
[2021-05-13 18:00:53] [INFO ] Computed 7 place invariants in 32 ms
[2021-05-13 18:00:53] [INFO ] [Real]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 18:00:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:00:53] [INFO ] [Real]Absence check using state equation in 172 ms returned sat
[2021-05-13 18:00:53] [INFO ] State equation strengthened by 42 read => feed constraints.
[2021-05-13 18:00:53] [INFO ] [Real]Added 42 Read/Feed constraints in 48 ms returned sat
[2021-05-13 18:00:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 290 ms.
[2021-05-13 18:00:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:00:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:00:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:00:54] [INFO ] [Nat]Absence check using state equation in 213 ms returned sat
[2021-05-13 18:00:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 81 ms returned sat
[2021-05-13 18:00:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 273 ms.
[2021-05-13 18:01:14] [INFO ] Added : 300 causal constraints over 60 iterations in 19588 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:01:14] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:01:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:01:15] [INFO ] [Real]Absence check using state equation in 535 ms returned sat
[2021-05-13 18:01:15] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 18:01:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 202 ms.
[2021-05-13 18:01:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:01:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:01:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:01:15] [INFO ] [Nat]Absence check using state equation in 226 ms returned sat
[2021-05-13 18:01:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 65 ms returned sat
[2021-05-13 18:01:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 109 ms.
[2021-05-13 18:01:33] [INFO ] Added : 270 causal constraints over 54 iterations in 17107 ms. Result :sat
[2021-05-13 18:01:33] [INFO ] [Real]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 18:01:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:01:33] [INFO ] [Real]Absence check using state equation in 595 ms returned sat
[2021-05-13 18:01:33] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:01:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 238 ms.
[2021-05-13 18:01:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:01:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 62 ms returned sat
[2021-05-13 18:01:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:01:34] [INFO ] [Nat]Absence check using state equation in 237 ms returned sat
[2021-05-13 18:01:34] [INFO ] [Nat]Added 42 Read/Feed constraints in 64 ms returned sat
[2021-05-13 18:01:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:01:49] [INFO ] Added : 270 causal constraints over 54 iterations in 15114 ms. Result :sat
[2021-05-13 18:01:50] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:01:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:01:50] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 18:01:50] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:01:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 101 ms.
[2021-05-13 18:01:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:01:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:01:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:01:50] [INFO ] [Nat]Absence check using state equation in 193 ms returned sat
[2021-05-13 18:01:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 944 ms returned sat
[2021-05-13 18:01:52] [INFO ] Deduced a trap composed of 5 places in 315 ms
[2021-05-13 18:01:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 469 ms
[2021-05-13 18:01:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 142 ms.
[2021-05-13 18:02:10] [INFO ] Added : 275 causal constraints over 55 iterations in 18357 ms. Result :unknown
[2021-05-13 18:02:10] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:02:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:02:10] [INFO ] [Real]Absence check using state equation in 231 ms returned sat
[2021-05-13 18:02:10] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 18:02:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 18:02:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:02:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:02:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:02:11] [INFO ] [Nat]Absence check using state equation in 197 ms returned sat
[2021-05-13 18:02:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 909 ms returned sat
[2021-05-13 18:02:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 18:02:27] [INFO ] Added : 260 causal constraints over 52 iterations in 15503 ms. Result :sat
[2021-05-13 18:02:28] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:02:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:02:28] [INFO ] [Real]Absence check using state equation in 292 ms returned sat
[2021-05-13 18:02:28] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:02:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 114 ms.
[2021-05-13 18:02:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:02:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:02:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:02:28] [INFO ] [Nat]Absence check using state equation in 205 ms returned sat
[2021-05-13 18:02:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 1089 ms returned sat
[2021-05-13 18:02:30] [INFO ] Deduced a trap composed of 5 places in 503 ms
[2021-05-13 18:02:30] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 603 ms
[2021-05-13 18:02:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 161 ms.
[2021-05-13 18:02:48] [INFO ] Added : 250 causal constraints over 50 iterations in 18075 ms. Result :unknown
[2021-05-13 18:02:48] [INFO ] [Real]Absence check using 7 positive place invariants in 33 ms returned sat
[2021-05-13 18:02:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:02:49] [INFO ] [Real]Absence check using state equation in 213 ms returned sat
[2021-05-13 18:02:49] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:02:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 112 ms.
[2021-05-13 18:02:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:02:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 18:02:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:02:49] [INFO ] [Nat]Absence check using state equation in 213 ms returned sat
[2021-05-13 18:02:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 779 ms returned sat
[2021-05-13 18:02:51] [INFO ] Deduced a trap composed of 5 places in 950 ms
[2021-05-13 18:02:51] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1057 ms
[2021-05-13 18:02:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 150 ms.
[2021-05-13 18:03:09] [INFO ] Added : 260 causal constraints over 52 iterations in 17868 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:03:09] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:03:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:03:09] [INFO ] [Real]Absence check using state equation in 226 ms returned sat
[2021-05-13 18:03:09] [INFO ] [Real]Added 42 Read/Feed constraints in 54 ms returned sat
[2021-05-13 18:03:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 149 ms.
[2021-05-13 18:03:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:03:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 33 ms returned sat
[2021-05-13 18:03:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:03:10] [INFO ] [Nat]Absence check using state equation in 226 ms returned sat
[2021-05-13 18:03:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 590 ms returned sat
[2021-05-13 18:03:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:03:28] [INFO ] Added : 280 causal constraints over 56 iterations in 17265 ms. Result :sat
[2021-05-13 18:03:28] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:03:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:03:28] [INFO ] [Real]Absence check using state equation in 266 ms returned sat
[2021-05-13 18:03:28] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2021-05-13 18:03:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 125 ms.
[2021-05-13 18:03:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:03:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:03:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:03:28] [INFO ] [Nat]Absence check using state equation in 145 ms returned sat
[2021-05-13 18:03:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 56 ms returned sat
[2021-05-13 18:03:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 170 ms.
[2021-05-13 18:03:48] [INFO ] Added : 295 causal constraints over 59 iterations in 19745 ms. Result :unknown
[2021-05-13 18:03:48] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:03:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:03:49] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:03:49] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 18:03:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 206 ms.
[2021-05-13 18:03:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:03:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:03:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:03:49] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 18:03:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 971 ms returned sat
[2021-05-13 18:03:51] [INFO ] Deduced a trap composed of 5 places in 629 ms
[2021-05-13 18:03:51] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 697 ms
[2021-05-13 18:03:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 109 ms.
[2021-05-13 18:04:09] [INFO ] Added : 285 causal constraints over 57 iterations in 18104 ms. Result :unknown
[2021-05-13 18:04:09] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2021-05-13 18:04:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:04:10] [INFO ] [Real]Absence check using state equation in 494 ms returned sat
[2021-05-13 18:04:10] [INFO ] [Real]Added 42 Read/Feed constraints in 53 ms returned sat
[2021-05-13 18:04:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 181 ms.
[2021-05-13 18:04:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:04:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:04:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:04:10] [INFO ] [Nat]Absence check using state equation in 247 ms returned sat
[2021-05-13 18:04:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 778 ms returned sat
[2021-05-13 18:04:12] [INFO ] Deduced a trap composed of 5 places in 780 ms
[2021-05-13 18:04:12] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 831 ms
[2021-05-13 18:04:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 120 ms.
[2021-05-13 18:04:28] [INFO ] Added : 245 causal constraints over 49 iterations in 15663 ms. Result :sat
[2021-05-13 18:04:28] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:04:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:04:28] [INFO ] [Real]Absence check using state equation in 237 ms returned sat
[2021-05-13 18:04:28] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:04:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 201 ms.
[2021-05-13 18:04:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:04:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:04:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:04:29] [INFO ] [Nat]Absence check using state equation in 228 ms returned sat
[2021-05-13 18:04:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 64 ms returned sat
[2021-05-13 18:04:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 134 ms.
[2021-05-13 18:04:40] [INFO ] Added : 245 causal constraints over 49 iterations in 11475 ms. Result :sat
[2021-05-13 18:04:40] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:04:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:04:41] [INFO ] [Real]Absence check using state equation in 424 ms returned sat
[2021-05-13 18:04:41] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:04:41] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 18:04:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:04:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:04:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:04:41] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:04:42] [INFO ] [Nat]Added 42 Read/Feed constraints in 208 ms returned sat
[2021-05-13 18:04:42] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 210 ms.
[2021-05-13 18:05:01] [INFO ] Added : 285 causal constraints over 57 iterations in 19496 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:05:01] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:05:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:05:01] [INFO ] [Real]Absence check using state equation in 161 ms returned sat
[2021-05-13 18:05:01] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 18:05:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 108 ms.
[2021-05-13 18:05:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:05:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:05:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:05:02] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 18:05:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 104 ms returned sat
[2021-05-13 18:05:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 193 ms.
[2021-05-13 18:05:20] [INFO ] Added : 280 causal constraints over 56 iterations in 17775 ms. Result :unknown
[2021-05-13 18:05:20] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:05:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:05:20] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:05:20] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:05:20] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 99 ms.
[2021-05-13 18:05:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:05:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:05:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:05:21] [INFO ] [Nat]Absence check using state equation in 297 ms returned sat
[2021-05-13 18:05:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 858 ms returned sat
[2021-05-13 18:05:22] [INFO ] Deduced a trap composed of 5 places in 334 ms
[2021-05-13 18:05:22] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 399 ms
[2021-05-13 18:05:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 194 ms.
[2021-05-13 18:05:40] [INFO ] Added : 260 causal constraints over 52 iterations in 18417 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:05:40] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:05:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:05:41] [INFO ] [Real]Absence check using state equation in 234 ms returned sat
[2021-05-13 18:05:41] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 18:05:41] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 18:05:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:05:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:05:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:05:41] [INFO ] [Nat]Absence check using state equation in 149 ms returned sat
[2021-05-13 18:05:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 53 ms returned sat
[2021-05-13 18:05:41] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 18:06:01] [INFO ] Added : 305 causal constraints over 61 iterations in 19707 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:06:01] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:06:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:06:01] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 18:06:01] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:06:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 127 ms.
[2021-05-13 18:06:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:06:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:06:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:06:02] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 18:06:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 867 ms returned sat
[2021-05-13 18:06:03] [INFO ] Deduced a trap composed of 5 places in 379 ms
[2021-05-13 18:06:03] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 504 ms
[2021-05-13 18:06:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 18:06:22] [INFO ] Added : 225 causal constraints over 45 iterations in 18387 ms. Result :unknown
[2021-05-13 18:06:22] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:06:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:06:22] [INFO ] [Real]Absence check using state equation in 174 ms returned sat
[2021-05-13 18:06:22] [INFO ] [Real]Added 42 Read/Feed constraints in 28 ms returned sat
[2021-05-13 18:06:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 196 ms.
[2021-05-13 18:06:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:06:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:06:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:06:23] [INFO ] [Nat]Absence check using state equation in 213 ms returned sat
[2021-05-13 18:06:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 843 ms returned sat
[2021-05-13 18:06:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 132 ms.
[2021-05-13 18:06:40] [INFO ] Added : 285 causal constraints over 57 iterations in 16204 ms. Result :sat
[2021-05-13 18:06:40] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:06:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:06:40] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 18:06:40] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:06:40] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 119 ms.
[2021-05-13 18:06:40] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:06:40] [INFO ] [Nat]Absence check using 7 positive place invariants in 35 ms returned sat
[2021-05-13 18:06:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:06:41] [INFO ] [Nat]Absence check using state equation in 621 ms returned sat
[2021-05-13 18:06:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 97 ms returned sat
[2021-05-13 18:06:41] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 199 ms.
[2021-05-13 18:06:59] [INFO ] Added : 270 causal constraints over 54 iterations in 17393 ms. Result :sat
[2021-05-13 18:06:59] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:06:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:06:59] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 18:06:59] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 18:06:59] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 167 ms.
[2021-05-13 18:06:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:06:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:06:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:06:59] [INFO ] [Nat]Absence check using state equation in 177 ms returned sat
[2021-05-13 18:07:00] [INFO ] [Nat]Added 42 Read/Feed constraints in 793 ms returned sat
[2021-05-13 18:07:00] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 147 ms.
[2021-05-13 18:07:19] [INFO ] Added : 260 causal constraints over 52 iterations in 18941 ms. Result :unknown
[2021-05-13 18:07:19] [INFO ] [Real]Absence check using 7 positive place invariants in 54 ms returned sat
[2021-05-13 18:07:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:07:20] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 18:07:20] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 18:07:20] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 94 ms.
[2021-05-13 18:07:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:07:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:07:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:07:21] [INFO ] [Nat]Absence check using state equation in 1202 ms returned sat
[2021-05-13 18:07:21] [INFO ] [Nat]Added 42 Read/Feed constraints in 114 ms returned sat
[2021-05-13 18:07:21] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 189 ms.
[2021-05-13 18:07:40] [INFO ] Added : 270 causal constraints over 54 iterations in 18586 ms. Result :unknown
[2021-05-13 18:07:40] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:07:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:07:40] [INFO ] [Real]Absence check using state equation in 226 ms returned sat
[2021-05-13 18:07:40] [INFO ] [Real]Added 42 Read/Feed constraints in 49 ms returned sat
[2021-05-13 18:07:40] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 186 ms.
[2021-05-13 18:07:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:07:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:07:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:07:41] [INFO ] [Nat]Absence check using state equation in 272 ms returned sat
[2021-05-13 18:07:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 84 ms returned sat
[2021-05-13 18:07:41] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 163 ms.
[2021-05-13 18:07:54] [INFO ] Added : 280 causal constraints over 56 iterations in 12768 ms. Result :sat
[2021-05-13 18:07:54] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:07:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:07:54] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:07:54] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:07:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 131 ms.
[2021-05-13 18:07:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:07:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:07:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:07:55] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 18:07:56] [INFO ] [Nat]Added 42 Read/Feed constraints in 1018 ms returned sat
[2021-05-13 18:07:56] [INFO ] Deduced a trap composed of 5 places in 444 ms
[2021-05-13 18:07:56] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 522 ms
[2021-05-13 18:07:56] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 18:08:14] [INFO ] Added : 240 causal constraints over 48 iterations in 18229 ms. Result :unknown
[2021-05-13 18:08:14] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:08:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:08:15] [INFO ] [Real]Absence check using state equation in 213 ms returned sat
[2021-05-13 18:08:15] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:08:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 130 ms.
[2021-05-13 18:08:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:08:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:08:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:08:15] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 18:08:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 70 ms returned sat
[2021-05-13 18:08:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 236 ms.
[2021-05-13 18:08:35] [INFO ] Added : 295 causal constraints over 59 iterations in 19635 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:08:35] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:08:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:08:36] [INFO ] [Real]Absence check using state equation in 528 ms returned sat
[2021-05-13 18:08:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:08:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:08:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:08:36] [INFO ] [Nat]Absence check using state equation in 299 ms returned sat
[2021-05-13 18:08:36] [INFO ] [Nat]Added 42 Read/Feed constraints in 87 ms returned sat
[2021-05-13 18:08:37] [INFO ] Deduced a trap composed of 24 places in 452 ms
[2021-05-13 18:08:37] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 487 ms
[2021-05-13 18:08:37] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:08:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:08:37] [INFO ] [Real]Absence check using state equation in 184 ms returned sat
[2021-05-13 18:08:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:08:37] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:08:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:08:37] [INFO ] [Nat]Absence check using state equation in 191 ms returned sat
[2021-05-13 18:08:38] [INFO ] [Nat]Added 42 Read/Feed constraints in 810 ms returned sat
[2021-05-13 18:08:38] [INFO ] Deduced a trap composed of 5 places in 384 ms
[2021-05-13 18:08:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 447 ms
[2021-05-13 18:08:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 112 ms.
[2021-05-13 18:08:57] [INFO ] Added : 270 causal constraints over 54 iterations in 18528 ms. Result :unknown
[2021-05-13 18:08:57] [INFO ] [Real]Absence check using 7 positive place invariants in 55 ms returned sat
[2021-05-13 18:08:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:08:57] [INFO ] [Real]Absence check using state equation in 490 ms returned sat
[2021-05-13 18:08:57] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:08:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 192 ms.
[2021-05-13 18:08:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:08:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:08:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:08:58] [INFO ] [Nat]Absence check using state equation in 206 ms returned sat
[2021-05-13 18:08:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 74 ms returned sat
[2021-05-13 18:08:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 18:09:18] [INFO ] Added : 290 causal constraints over 58 iterations in 19636 ms. Result :unknown
[2021-05-13 18:09:18] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:09:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:09:18] [INFO ] [Real]Absence check using state equation in 181 ms returned sat
[2021-05-13 18:09:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:09:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:09:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:09:18] [INFO ] [Nat]Absence check using state equation in 223 ms returned sat
[2021-05-13 18:09:19] [INFO ] [Nat]Added 42 Read/Feed constraints in 857 ms returned sat
[2021-05-13 18:09:20] [INFO ] Deduced a trap composed of 5 places in 748 ms
[2021-05-13 18:09:20] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 827 ms
[2021-05-13 18:09:20] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 117 ms.
[2021-05-13 18:09:38] [INFO ] Added : 280 causal constraints over 56 iterations in 18023 ms. Result :unknown
[2021-05-13 18:09:38] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:09:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:09:38] [INFO ] [Real]Absence check using state equation in 251 ms returned sat
[2021-05-13 18:09:38] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2021-05-13 18:09:39] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 146 ms.
[2021-05-13 18:09:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:09:39] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:09:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:09:39] [INFO ] [Nat]Absence check using state equation in 250 ms returned sat
[2021-05-13 18:09:40] [INFO ] [Nat]Added 42 Read/Feed constraints in 836 ms returned sat
[2021-05-13 18:09:40] [INFO ] Deduced a trap composed of 5 places in 208 ms
[2021-05-13 18:09:40] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 277 ms
[2021-05-13 18:09:40] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 163 ms.
[2021-05-13 18:09:59] [INFO ] Added : 255 causal constraints over 51 iterations in 18613 ms. Result :unknown
[2021-05-13 18:09:59] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:09:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:09:59] [INFO ] [Real]Absence check using state equation in 438 ms returned sat
[2021-05-13 18:09:59] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:09:59] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 18:09:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:10:00] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 18:10:01] [INFO ] [Nat]Added 42 Read/Feed constraints in 948 ms returned sat
[2021-05-13 18:10:01] [INFO ] Deduced a trap composed of 5 places in 729 ms
[2021-05-13 18:10:01] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 778 ms
[2021-05-13 18:10:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 93 ms.
[2021-05-13 18:10:19] [INFO ] Added : 280 causal constraints over 56 iterations in 18018 ms. Result :unknown
[2021-05-13 18:10:20] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:10:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:10:20] [INFO ] [Real]Absence check using state equation in 385 ms returned sat
[2021-05-13 18:10:20] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 18:10:20] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 259 ms.
[2021-05-13 18:10:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:10:20] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 18:10:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:10:21] [INFO ] [Nat]Absence check using state equation in 195 ms returned sat
[2021-05-13 18:10:21] [INFO ] [Nat]Added 42 Read/Feed constraints in 718 ms returned sat
[2021-05-13 18:10:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 144 ms.
[2021-05-13 18:10:35] [INFO ] Added : 270 causal constraints over 54 iterations in 13738 ms. Result :sat
[2021-05-13 18:10:35] [INFO ] [Real]Absence check using 7 positive place invariants in 32 ms returned sat
[2021-05-13 18:10:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:10:36] [INFO ] [Real]Absence check using state equation in 412 ms returned sat
[2021-05-13 18:10:36] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2021-05-13 18:10:36] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 93 ms.
[2021-05-13 18:10:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:10:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:10:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:10:36] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 18:10:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 867 ms returned sat
[2021-05-13 18:10:37] [INFO ] Deduced a trap composed of 5 places in 238 ms
[2021-05-13 18:10:37] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 306 ms
[2021-05-13 18:10:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 101 ms.
[2021-05-13 18:10:56] [INFO ] Added : 280 causal constraints over 56 iterations in 18606 ms. Result :unknown
[2021-05-13 18:10:56] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:10:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:10:58] [INFO ] [Real]Absence check using state equation in 1429 ms returned sat
[2021-05-13 18:10:58] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 18:10:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 140 ms.
[2021-05-13 18:10:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:10:58] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:10:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:10:58] [INFO ] [Nat]Absence check using state equation in 231 ms returned sat
[2021-05-13 18:10:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 51 ms returned sat
[2021-05-13 18:10:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 164 ms.
[2021-05-13 18:11:16] [INFO ] Added : 280 causal constraints over 56 iterations in 17922 ms. Result :sat
[2021-05-13 18:11:16] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:11:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:11:17] [INFO ] [Real]Absence check using state equation in 869 ms returned sat
[2021-05-13 18:11:17] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2021-05-13 18:11:18] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 140 ms.
[2021-05-13 18:11:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:11:18] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:11:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:11:18] [INFO ] [Nat]Absence check using state equation in 303 ms returned sat
[2021-05-13 18:11:18] [INFO ] [Nat]Added 42 Read/Feed constraints in 94 ms returned sat
[2021-05-13 18:11:18] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 142 ms.
[2021-05-13 18:11:38] [INFO ] Added : 300 causal constraints over 60 iterations in 19493 ms. Result :unknown
[2021-05-13 18:11:38] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:11:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:11:38] [INFO ] [Real]Absence check using state equation in 183 ms returned sat
[2021-05-13 18:11:38] [INFO ] [Real]Added 42 Read/Feed constraints in 28 ms returned sat
[2021-05-13 18:11:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 195 ms.
[2021-05-13 18:11:38] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:11:38] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:11:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:11:39] [INFO ] [Nat]Absence check using state equation in 164 ms returned sat
[2021-05-13 18:11:39] [INFO ] [Nat]Added 42 Read/Feed constraints in 114 ms returned sat
[2021-05-13 18:11:39] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 139 ms.
[2021-05-13 18:11:54] [INFO ] Added : 265 causal constraints over 53 iterations in 14914 ms. Result :sat
[2021-05-13 18:11:54] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:11:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:11:54] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 18:11:54] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:11:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 168 ms.
[2021-05-13 18:11:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:11:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:11:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:11:55] [INFO ] [Nat]Absence check using state equation in 212 ms returned sat
[2021-05-13 18:11:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 63 ms returned sat
[2021-05-13 18:11:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 146 ms.
[2021-05-13 18:12:12] [INFO ] Added : 280 causal constraints over 56 iterations in 17001 ms. Result :sat
[2021-05-13 18:12:12] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:12:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:12:12] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 18:12:12] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:12:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 124 ms.
[2021-05-13 18:12:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:12:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:12:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:12:13] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:12:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 1053 ms returned sat
[2021-05-13 18:12:14] [INFO ] Deduced a trap composed of 5 places in 404 ms
[2021-05-13 18:12:14] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 502 ms
[2021-05-13 18:12:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 128 ms.
[2021-05-13 18:12:32] [INFO ] Added : 290 causal constraints over 58 iterations in 18197 ms. Result :unknown
[2021-05-13 18:12:32] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:12:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:12:33] [INFO ] [Real]Absence check using state equation in 137 ms returned sat
[2021-05-13 18:12:33] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 18:12:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 163 ms.
[2021-05-13 18:12:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:12:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:12:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:12:33] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 18:12:34] [INFO ] [Nat]Added 42 Read/Feed constraints in 973 ms returned sat
[2021-05-13 18:12:34] [INFO ] Deduced a trap composed of 5 places in 368 ms
[2021-05-13 18:12:34] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 420 ms
[2021-05-13 18:12:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 18:12:53] [INFO ] Added : 255 causal constraints over 51 iterations in 18370 ms. Result :unknown
[2021-05-13 18:12:53] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:12:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:12:53] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 18:12:53] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:12:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:12:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:12:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:12:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:12:54] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 18:12:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 53 ms returned sat
[2021-05-13 18:12:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 112 ms.
[2021-05-13 18:13:13] [INFO ] Added : 270 causal constraints over 54 iterations in 19653 ms. Result :(error "Failed to check-sat")
[2021-05-13 18:13:13] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:13:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:13:14] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 18:13:14] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 18:13:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 170 ms.
[2021-05-13 18:13:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:13:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:13:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:13:14] [INFO ] [Nat]Absence check using state equation in 222 ms returned sat
[2021-05-13 18:13:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 64 ms returned sat
[2021-05-13 18:13:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 347 ms.
[2021-05-13 18:13:34] [INFO ] Added : 315 causal constraints over 63 iterations in 19614 ms. Result :unknown
[2021-05-13 18:13:34] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:13:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:13:34] [INFO ] [Real]Absence check using state equation in 170 ms returned sat
[2021-05-13 18:13:34] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 18:13:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 185 ms.
[2021-05-13 18:13:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:13:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:13:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:13:35] [INFO ] [Nat]Absence check using state equation in 204 ms returned sat
[2021-05-13 18:13:36] [INFO ] [Nat]Added 42 Read/Feed constraints in 857 ms returned sat
[2021-05-13 18:13:36] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 18:13:55] [INFO ] Added : 260 causal constraints over 52 iterations in 18844 ms. Result :unknown
[2021-05-13 18:13:55] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:13:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:13:55] [INFO ] [Real]Absence check using state equation in 175 ms returned sat
[2021-05-13 18:13:55] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:13:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 175 ms.
[2021-05-13 18:13:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:13:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 52 ms returned sat
[2021-05-13 18:13:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:13:57] [INFO ] [Nat]Absence check using state equation in 1133 ms returned sat
[2021-05-13 18:13:57] [INFO ] [Nat]Added 42 Read/Feed constraints in 896 ms returned sat
[2021-05-13 18:13:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 100 ms.
[2021-05-13 18:14:15] [INFO ] Added : 255 causal constraints over 51 iterations in 17859 ms. Result :unknown
[2021-05-13 18:14:15] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:14:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:14:16] [INFO ] [Real]Absence check using state equation in 163 ms returned sat
[2021-05-13 18:14:16] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 18:14:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 106 ms.
[2021-05-13 18:14:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:14:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 18:14:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:14:16] [INFO ] [Nat]Absence check using state equation in 236 ms returned sat
[2021-05-13 18:14:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 68 ms returned sat
[2021-05-13 18:14:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 142 ms.
[2021-05-13 18:14:35] [INFO ] Added : 270 causal constraints over 54 iterations in 19118 ms. Result :unknown
[2021-05-13 18:14:36] [INFO ] [Real]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:14:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:14:36] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 18:14:36] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:14:36] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 113 ms.
[2021-05-13 18:14:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:14:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:14:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:14:36] [INFO ] [Nat]Absence check using state equation in 201 ms returned sat
[2021-05-13 18:14:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 825 ms returned sat
[2021-05-13 18:14:37] [INFO ] Deduced a trap composed of 5 places in 394 ms
[2021-05-13 18:14:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 465 ms
[2021-05-13 18:14:38] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 129 ms.
[2021-05-13 18:14:56] [INFO ] Added : 285 causal constraints over 57 iterations in 18474 ms. Result :unknown
[2021-05-13 18:14:56] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:14:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:14:56] [INFO ] [Real]Absence check using state equation in 214 ms returned sat
[2021-05-13 18:14:56] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:14:56] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 115 ms.
[2021-05-13 18:14:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:14:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:14:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:14:57] [INFO ] [Nat]Absence check using state equation in 217 ms returned sat
[2021-05-13 18:14:58] [INFO ] [Nat]Added 42 Read/Feed constraints in 1339 ms returned sat
[2021-05-13 18:14:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 131 ms.
[2021-05-13 18:15:15] [INFO ] Added : 275 causal constraints over 55 iterations in 17171 ms. Result :sat
[2021-05-13 18:15:16] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:15:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:15:16] [INFO ] [Real]Absence check using state equation in 174 ms returned sat
[2021-05-13 18:15:16] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 18:15:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 111 ms.
[2021-05-13 18:15:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:15:16] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:15:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:15:16] [INFO ] [Nat]Absence check using state equation in 216 ms returned sat
[2021-05-13 18:15:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 824 ms returned sat
[2021-05-13 18:15:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 127 ms.
[2021-05-13 18:15:32] [INFO ] Added : 260 causal constraints over 52 iterations in 14985 ms. Result :sat
[2021-05-13 18:15:32] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:15:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:15:33] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 18:15:33] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 18:15:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 18:15:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:15:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:15:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:15:33] [INFO ] [Nat]Absence check using state equation in 265 ms returned sat
[2021-05-13 18:15:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 79 ms returned sat
[2021-05-13 18:15:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 216 ms.
[2021-05-13 18:15:53] [INFO ] Added : 295 causal constraints over 59 iterations in 19526 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:15:53] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:15:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:15:53] [INFO ] [Real]Absence check using state equation in 174 ms returned sat
[2021-05-13 18:15:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:15:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:15:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:15:53] [INFO ] [Nat]Absence check using state equation in 234 ms returned sat
[2021-05-13 18:15:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 87 ms returned sat
[2021-05-13 18:15:54] [INFO ] Deduced a trap composed of 24 places in 467 ms
[2021-05-13 18:15:54] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 480 ms
[2021-05-13 18:15:54] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:15:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:15:54] [INFO ] [Real]Absence check using state equation in 196 ms returned sat
[2021-05-13 18:15:54] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:15:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 118 ms.
[2021-05-13 18:15:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:15:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:15:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:15:55] [INFO ] [Nat]Absence check using state equation in 201 ms returned sat
[2021-05-13 18:15:56] [INFO ] [Nat]Added 42 Read/Feed constraints in 1303 ms returned sat
[2021-05-13 18:15:56] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 183 ms.
[2021-05-13 18:16:12] [INFO ] Added : 255 causal constraints over 51 iterations in 15555 ms. Result :sat
[2021-05-13 18:16:12] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:16:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:16:12] [INFO ] [Real]Absence check using state equation in 202 ms returned sat
[2021-05-13 18:16:12] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:16:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 114 ms.
[2021-05-13 18:16:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:16:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:16:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:16:13] [INFO ] [Nat]Absence check using state equation in 192 ms returned sat
[2021-05-13 18:16:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 1043 ms returned sat
[2021-05-13 18:16:14] [INFO ] Deduced a trap composed of 5 places in 444 ms
[2021-05-13 18:16:14] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 541 ms
[2021-05-13 18:16:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 157 ms.
[2021-05-13 18:16:32] [INFO ] Added : 270 causal constraints over 54 iterations in 18200 ms. Result :unknown
[2021-05-13 18:16:32] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 18:16:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:16:33] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2021-05-13 18:16:33] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:16:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 110 ms.
[2021-05-13 18:16:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:16:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2021-05-13 18:16:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:16:33] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 18:16:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 63 ms returned sat
[2021-05-13 18:16:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 199 ms.
[2021-05-13 18:16:53] [INFO ] Added : 300 causal constraints over 60 iterations in 19524 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:16:53] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:16:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:16:53] [INFO ] [Real]Absence check using state equation in 282 ms returned sat
[2021-05-13 18:16:53] [INFO ] [Real]Added 42 Read/Feed constraints in 44 ms returned sat
[2021-05-13 18:16:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 126 ms.
[2021-05-13 18:16:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:16:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:16:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:16:54] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 18:16:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 74 ms returned sat
[2021-05-13 18:16:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 282 ms.
[2021-05-13 18:17:08] [INFO ] Added : 260 causal constraints over 52 iterations in 14315 ms. Result :sat
[2021-05-13 18:17:09] [INFO ] [Real]Absence check using 7 positive place invariants in 32 ms returned sat
[2021-05-13 18:17:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:17:09] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2021-05-13 18:17:09] [INFO ] [Real]Added 42 Read/Feed constraints in 54 ms returned sat
[2021-05-13 18:17:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 18:17:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:17:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:17:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:17:09] [INFO ] [Nat]Absence check using state equation in 206 ms returned sat
[2021-05-13 18:17:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 67 ms returned sat
[2021-05-13 18:17:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 241 ms.
[2021-05-13 18:17:29] [INFO ] Added : 295 causal constraints over 59 iterations in 19641 ms. Result :unknown
[2021-05-13 18:17:29] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:17:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:17:29] [INFO ] [Real]Absence check using state equation in 188 ms returned sat
[2021-05-13 18:17:30] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:17:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 113 ms.
[2021-05-13 18:17:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:17:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:17:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:17:30] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 18:17:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 1343 ms returned sat
[2021-05-13 18:17:32] [INFO ] Deduced a trap composed of 5 places in 346 ms
[2021-05-13 18:17:32] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 427 ms
[2021-05-13 18:17:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 313 ms.
[2021-05-13 18:17:50] [INFO ] Added : 270 causal constraints over 54 iterations in 17986 ms. Result :unknown
[2021-05-13 18:17:50] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:17:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:17:50] [INFO ] [Real]Absence check using state equation in 465 ms returned sat
[2021-05-13 18:17:50] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2021-05-13 18:17:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:17:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:17:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:17:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:17:51] [INFO ] [Nat]Absence check using state equation in 232 ms returned sat
[2021-05-13 18:17:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 818 ms returned sat
[2021-05-13 18:17:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 257 ms.
[2021-05-13 18:18:08] [INFO ] Added : 250 causal constraints over 50 iterations in 15588 ms. Result :sat
[2021-05-13 18:18:08] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:18:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:18:08] [INFO ] [Real]Absence check using state equation in 206 ms returned sat
[2021-05-13 18:18:08] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 18:18:08] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 103 ms.
[2021-05-13 18:18:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:18:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 50 ms returned sat
[2021-05-13 18:18:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:18:09] [INFO ] [Nat]Absence check using state equation in 700 ms returned sat
[2021-05-13 18:18:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 53 ms returned sat
[2021-05-13 18:18:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 286 ms.
[2021-05-13 18:18:24] [INFO ] Added : 255 causal constraints over 51 iterations in 14544 ms. Result :sat
[2021-05-13 18:18:24] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:18:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:18:24] [INFO ] [Real]Absence check using state equation in 203 ms returned sat
[2021-05-13 18:18:24] [INFO ] [Real]Added 42 Read/Feed constraints in 88 ms returned sat
[2021-05-13 18:18:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 150 ms.
[2021-05-13 18:18:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:18:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:18:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:18:25] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2021-05-13 18:18:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 985 ms returned sat
[2021-05-13 18:18:26] [INFO ] Deduced a trap composed of 5 places in 587 ms
[2021-05-13 18:18:26] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 660 ms
[2021-05-13 18:18:27] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 261 ms.
[2021-05-13 18:18:40] [INFO ] Added : 250 causal constraints over 50 iterations in 13437 ms. Result :sat
[2021-05-13 18:18:40] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:18:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:18:40] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:18:40] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:18:40] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 126 ms.
[2021-05-13 18:18:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:18:41] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:18:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:18:41] [INFO ] [Nat]Absence check using state equation in 212 ms returned sat
[2021-05-13 18:18:41] [INFO ] [Nat]Added 42 Read/Feed constraints in 71 ms returned sat
[2021-05-13 18:18:41] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 215 ms.
[2021-05-13 18:19:01] [INFO ] Added : 290 causal constraints over 58 iterations in 19599 ms. Result :unknown
[2021-05-13 18:19:01] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:19:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:01] [INFO ] [Real]Absence check using state equation in 213 ms returned sat
[2021-05-13 18:19:01] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:19:01] [INFO ] Deduced a trap composed of 24 places in 504 ms
[2021-05-13 18:19:01] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 513 ms
[2021-05-13 18:19:01] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:19:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:02] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 18:19:02] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 18:19:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 18:19:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:19:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:19:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:02] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:19:02] [INFO ] [Nat]Added 42 Read/Feed constraints in 69 ms returned sat
[2021-05-13 18:19:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 193 ms.
[2021-05-13 18:19:15] [INFO ] Added : 260 causal constraints over 52 iterations in 12267 ms. Result :sat
[2021-05-13 18:19:15] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:19:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:15] [INFO ] [Real]Absence check using state equation in 211 ms returned sat
[2021-05-13 18:19:15] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:19:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 120 ms.
[2021-05-13 18:19:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:19:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:19:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:16] [INFO ] [Nat]Absence check using state equation in 203 ms returned sat
[2021-05-13 18:19:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 940 ms returned sat
[2021-05-13 18:19:17] [INFO ] Deduced a trap composed of 5 places in 331 ms
[2021-05-13 18:19:17] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 454 ms
[2021-05-13 18:19:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 205 ms.
[2021-05-13 18:19:35] [INFO ] Added : 285 causal constraints over 57 iterations in 18359 ms. Result :unknown
[2021-05-13 18:19:35] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:19:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:36] [INFO ] [Real]Absence check using state equation in 215 ms returned sat
[2021-05-13 18:19:36] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:19:36] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 138 ms.
[2021-05-13 18:19:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:19:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:19:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:36] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 18:19:36] [INFO ] [Nat]Added 42 Read/Feed constraints in 70 ms returned sat
[2021-05-13 18:19:37] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 263 ms.
[2021-05-13 18:19:46] [INFO ] Added : 270 causal constraints over 54 iterations in 10033 ms. Result :sat
[2021-05-13 18:19:46] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:19:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:47] [INFO ] [Real]Absence check using state equation in 253 ms returned sat
[2021-05-13 18:19:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:19:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:19:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:19:47] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 18:19:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 1014 ms returned sat
[2021-05-13 18:19:48] [INFO ] Deduced a trap composed of 5 places in 292 ms
[2021-05-13 18:19:48] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 375 ms
[2021-05-13 18:19:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:20:05] [INFO ] Added : 265 causal constraints over 53 iterations in 16829 ms. Result :sat
[2021-05-13 18:20:05] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:20:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:20:06] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 18:20:06] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:20:06] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 120 ms.
[2021-05-13 18:20:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:20:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:20:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:20:06] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 18:20:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 62 ms returned sat
[2021-05-13 18:20:06] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 127 ms.
[2021-05-13 18:20:21] [INFO ] Added : 265 causal constraints over 53 iterations in 15135 ms. Result :unknown
[2021-05-13 18:20:21] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:20:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:20:22] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 18:20:22] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 18:20:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 101 ms.
[2021-05-13 18:20:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:20:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:20:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:20:22] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:20:22] [INFO ] [Nat]Added 42 Read/Feed constraints in 201 ms returned sat
[2021-05-13 18:20:23] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 148 ms.
[2021-05-13 18:20:42] [INFO ] Added : 230 causal constraints over 46 iterations in 19499 ms. Result :unknown
[2021-05-13 18:20:42] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:20:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:20:42] [INFO ] [Real]Absence check using state equation in 190 ms returned sat
[2021-05-13 18:20:42] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:20:42] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 90 ms.
[2021-05-13 18:20:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:20:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:20:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:20:43] [INFO ] [Nat]Absence check using state equation in 229 ms returned sat
[2021-05-13 18:20:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 84 ms returned sat
[2021-05-13 18:20:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 112 ms.
[2021-05-13 18:21:02] [INFO ] Added : 308 causal constraints over 62 iterations in 19625 ms. Result :unknown
[2021-05-13 18:21:02] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 18:21:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:21:03] [INFO ] [Real]Absence check using state equation in 250 ms returned sat
[2021-05-13 18:21:03] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:21:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 147 ms.
[2021-05-13 18:21:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:21:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:21:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:21:03] [INFO ] [Nat]Absence check using state equation in 463 ms returned sat
[2021-05-13 18:21:05] [INFO ] [Nat]Added 42 Read/Feed constraints in 1034 ms returned sat
[2021-05-13 18:21:05] [INFO ] Deduced a trap composed of 5 places in 482 ms
[2021-05-13 18:21:05] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 569 ms
[2021-05-13 18:21:05] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 200 ms.
[2021-05-13 18:21:23] [INFO ] Added : 280 causal constraints over 56 iterations in 17899 ms. Result :unknown
[2021-05-13 18:21:23] [INFO ] [Real]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 18:21:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:21:24] [INFO ] [Real]Absence check using state equation in 918 ms returned sat
[2021-05-13 18:21:24] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 18:21:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 121 ms.
[2021-05-13 18:21:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:21:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:21:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:21:25] [INFO ] [Nat]Absence check using state equation in 188 ms returned sat
[2021-05-13 18:21:25] [INFO ] [Nat]Added 42 Read/Feed constraints in 976 ms returned sat
[2021-05-13 18:21:26] [INFO ] Deduced a trap composed of 5 places in 287 ms
[2021-05-13 18:21:26] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 369 ms
[2021-05-13 18:21:26] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 228 ms.
[2021-05-13 18:21:44] [INFO ] Added : 260 causal constraints over 52 iterations in 18444 ms. Result :unknown
[2021-05-13 18:21:44] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:21:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:21:45] [INFO ] [Real]Absence check using state equation in 166 ms returned sat
[2021-05-13 18:21:45] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 18:21:45] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 117 ms.
[2021-05-13 18:21:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:21:45] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 18:21:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:21:45] [INFO ] [Nat]Absence check using state equation in 171 ms returned sat
[2021-05-13 18:21:46] [INFO ] [Nat]Added 42 Read/Feed constraints in 634 ms returned sat
[2021-05-13 18:21:46] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 293 ms.
[2021-05-13 18:22:05] [INFO ] Added : 300 causal constraints over 60 iterations in 19080 ms. Result :unknown
[2021-05-13 18:22:05] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:22:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:22:05] [INFO ] [Real]Absence check using state equation in 206 ms returned sat
[2021-05-13 18:22:05] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:22:05] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:22:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:22:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 65 ms returned sat
[2021-05-13 18:22:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:22:06] [INFO ] [Nat]Absence check using state equation in 447 ms returned sat
[2021-05-13 18:22:07] [INFO ] [Nat]Added 42 Read/Feed constraints in 843 ms returned sat
[2021-05-13 18:22:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 107 ms.
[2021-05-13 18:22:25] [INFO ] Added : 280 causal constraints over 56 iterations in 18593 ms. Result :unknown
[2021-05-13 18:22:26] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:22:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:22:26] [INFO ] [Real]Absence check using state equation in 233 ms returned sat
[2021-05-13 18:22:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:22:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:22:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:22:26] [INFO ] [Nat]Absence check using state equation in 233 ms returned sat
[2021-05-13 18:22:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 50 ms returned sat
[2021-05-13 18:22:27] [INFO ] Deduced a trap composed of 24 places in 595 ms
[2021-05-13 18:22:27] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 609 ms
[2021-05-13 18:22:27] [INFO ] [Real]Absence check using 7 positive place invariants in 54 ms returned sat
[2021-05-13 18:22:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:22:28] [INFO ] [Real]Absence check using state equation in 1082 ms returned sat
[2021-05-13 18:22:28] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 18:22:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 134 ms.
[2021-05-13 18:22:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:22:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 18:22:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:22:29] [INFO ] [Nat]Absence check using state equation in 901 ms returned sat
[2021-05-13 18:22:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 1258 ms returned sat
[2021-05-13 18:22:31] [INFO ] Deduced a trap composed of 5 places in 396 ms
[2021-05-13 18:22:31] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 482 ms
[2021-05-13 18:22:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 130 ms.
[2021-05-13 18:22:48] [INFO ] Added : 265 causal constraints over 53 iterations in 17330 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:22:48] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:22:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:22:49] [INFO ] [Real]Absence check using state equation in 166 ms returned sat
[2021-05-13 18:22:49] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:22:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:22:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:22:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:22:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:22:49] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 18:22:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 66 ms returned sat
[2021-05-13 18:22:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 167 ms.
[2021-05-13 18:23:09] [INFO ] Added : 305 causal constraints over 61 iterations in 19625 ms. Result :unknown
[2021-05-13 18:23:09] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:23:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:23:09] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 18:23:09] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:23:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 120 ms.
[2021-05-13 18:23:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:23:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:23:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:23:10] [INFO ] [Nat]Absence check using state equation in 239 ms returned sat
[2021-05-13 18:23:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 804 ms returned sat
[2021-05-13 18:23:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 179 ms.
[2021-05-13 18:23:29] [INFO ] Added : 285 causal constraints over 57 iterations in 18845 ms. Result :unknown
[2021-05-13 18:23:30] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:23:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:23:30] [INFO ] [Real]Absence check using state equation in 165 ms returned sat
[2021-05-13 18:23:30] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 18:23:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 112 ms.
[2021-05-13 18:23:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:23:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:23:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:23:30] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 18:23:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 697 ms returned sat
[2021-05-13 18:23:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 220 ms.
[2021-05-13 18:23:50] [INFO ] Added : 310 causal constraints over 62 iterations in 19005 ms. Result :unknown
[2021-05-13 18:23:50] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:23:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:23:50] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 18:23:50] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:23:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 18:23:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:23:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:23:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:23:51] [INFO ] [Nat]Absence check using state equation in 214 ms returned sat
[2021-05-13 18:23:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 52 ms returned sat
[2021-05-13 18:23:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 215 ms.
[2021-05-13 18:24:09] [INFO ] Added : 285 causal constraints over 57 iterations in 18128 ms. Result :sat
[2021-05-13 18:24:09] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:24:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:24:09] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 18:24:09] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 18:24:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:24:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:24:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:24:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:24:10] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:24:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 866 ms returned sat
[2021-05-13 18:24:11] [INFO ] Deduced a trap composed of 5 places in 353 ms
[2021-05-13 18:24:11] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 522 ms
[2021-05-13 18:24:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 18:24:30] [INFO ] Added : 300 causal constraints over 60 iterations in 18357 ms. Result :unknown
[2021-05-13 18:24:30] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:24:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:24:30] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 18:24:30] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 18:24:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 139 ms.
[2021-05-13 18:24:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:24:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:24:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:24:31] [INFO ] [Nat]Absence check using state equation in 236 ms returned sat
[2021-05-13 18:24:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 867 ms returned sat
[2021-05-13 18:24:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 194 ms.
[2021-05-13 18:24:50] [INFO ] Added : 275 causal constraints over 55 iterations in 18802 ms. Result :unknown
[2021-05-13 18:24:50] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:24:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:24:51] [INFO ] [Real]Absence check using state equation in 201 ms returned sat
[2021-05-13 18:24:51] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:24:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 118 ms.
[2021-05-13 18:24:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:24:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:24:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:24:51] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:24:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 57 ms returned sat
[2021-05-13 18:24:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 240 ms.
[2021-05-13 18:25:11] [INFO ] Added : 290 causal constraints over 58 iterations in 19647 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:25:11] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:25:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:25:11] [INFO ] [Real]Absence check using state equation in 200 ms returned sat
[2021-05-13 18:25:11] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:25:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 126 ms.
[2021-05-13 18:25:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:25:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:25:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:25:12] [INFO ] [Nat]Absence check using state equation in 199 ms returned sat
[2021-05-13 18:25:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 99 ms returned sat
[2021-05-13 18:25:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 243 ms.
[2021-05-13 18:25:32] [INFO ] Added : 305 causal constraints over 61 iterations in 19623 ms. Result :unknown
[2021-05-13 18:25:32] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:25:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:25:32] [INFO ] [Real]Absence check using state equation in 176 ms returned sat
[2021-05-13 18:25:32] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 18:25:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 124 ms.
[2021-05-13 18:25:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:25:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:25:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:25:32] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 18:25:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 815 ms returned sat
[2021-05-13 18:25:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 18:25:47] [INFO ] Added : 270 causal constraints over 54 iterations in 13998 ms. Result :sat
[2021-05-13 18:25:47] [INFO ] [Real]Absence check using 7 positive place invariants in 43 ms returned sat
[2021-05-13 18:25:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:25:48] [INFO ] [Real]Absence check using state equation in 420 ms returned sat
[2021-05-13 18:25:48] [INFO ] [Real]Added 42 Read/Feed constraints in 39 ms returned sat
[2021-05-13 18:25:48] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 18:25:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:25:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:25:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:25:48] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 18:25:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 827 ms returned sat
[2021-05-13 18:25:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 259 ms.
[2021-05-13 18:26:04] [INFO ] Added : 280 causal constraints over 56 iterations in 14554 ms. Result :sat
[2021-05-13 18:26:04] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2021-05-13 18:26:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:26:04] [INFO ] [Real]Absence check using state equation in 223 ms returned sat
[2021-05-13 18:26:04] [INFO ] [Real]Added 42 Read/Feed constraints in 47 ms returned sat
[2021-05-13 18:26:05] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 130 ms.
[2021-05-13 18:26:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:26:05] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:26:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:26:05] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2021-05-13 18:26:06] [INFO ] [Nat]Added 42 Read/Feed constraints in 1143 ms returned sat
[2021-05-13 18:26:06] [INFO ] Deduced a trap composed of 5 places in 264 ms
[2021-05-13 18:26:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 372 ms
[2021-05-13 18:26:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 219 ms.
[2021-05-13 18:26:25] [INFO ] Added : 265 causal constraints over 53 iterations in 18192 ms. Result :unknown
[2021-05-13 18:26:25] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:26:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:26:25] [INFO ] [Real]Absence check using state equation in 196 ms returned sat
[2021-05-13 18:26:25] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:26:25] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 115 ms.
[2021-05-13 18:26:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:26:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:26:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:26:26] [INFO ] [Nat]Absence check using state equation in 294 ms returned sat
[2021-05-13 18:26:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 100 ms returned sat
[2021-05-13 18:26:26] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 252 ms.
[2021-05-13 18:26:42] [INFO ] Added : 265 causal constraints over 53 iterations in 15869 ms. Result :sat
[2021-05-13 18:26:42] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:26:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:26:42] [INFO ] [Real]Absence check using state equation in 228 ms returned sat
[2021-05-13 18:26:42] [INFO ] [Real]Added 42 Read/Feed constraints in 52 ms returned sat
[2021-05-13 18:26:42] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 146 ms.
[2021-05-13 18:26:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:26:42] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:26:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:26:43] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:26:43] [INFO ] [Nat]Added 42 Read/Feed constraints in 72 ms returned sat
[2021-05-13 18:26:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 220 ms.
[2021-05-13 18:27:02] [INFO ] Added : 310 causal constraints over 62 iterations in 19637 ms. Result :unknown
[2021-05-13 18:27:03] [INFO ] [Real]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:27:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:27:03] [INFO ] [Real]Absence check using state equation in 345 ms returned sat
[2021-05-13 18:27:03] [INFO ] [Real]Added 42 Read/Feed constraints in 35 ms returned sat
[2021-05-13 18:27:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 113 ms.
[2021-05-13 18:27:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:27:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:27:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:27:03] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 18:27:04] [INFO ] [Nat]Added 42 Read/Feed constraints in 78 ms returned sat
[2021-05-13 18:27:04] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 292 ms.
[2021-05-13 18:27:23] [INFO ] Added : 280 causal constraints over 56 iterations in 19566 ms. Result :unknown
[2021-05-13 18:27:23] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:27:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:27:24] [INFO ] [Real]Absence check using state equation in 452 ms returned sat
[2021-05-13 18:27:24] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2021-05-13 18:27:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 109 ms.
[2021-05-13 18:27:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:27:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:27:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:27:24] [INFO ] [Nat]Absence check using state equation in 212 ms returned sat
[2021-05-13 18:27:25] [INFO ] [Nat]Added 42 Read/Feed constraints in 891 ms returned sat
[2021-05-13 18:27:26] [INFO ] Deduced a trap composed of 5 places in 417 ms
[2021-05-13 18:27:26] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 499 ms
[2021-05-13 18:27:26] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 220 ms.
[2021-05-13 18:27:44] [INFO ] Added : 270 causal constraints over 54 iterations in 18363 ms. Result :unknown
[2021-05-13 18:27:44] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:27:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:27:44] [INFO ] [Real]Absence check using state equation in 205 ms returned sat
[2021-05-13 18:27:44] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:27:45] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 122 ms.
[2021-05-13 18:27:45] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:27:45] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:27:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:27:46] [INFO ] [Nat]Absence check using state equation in 1371 ms returned sat
[2021-05-13 18:27:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 642 ms returned sat
[2021-05-13 18:27:48] [INFO ] Deduced a trap composed of 5 places in 1419 ms
[2021-05-13 18:27:48] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1509 ms
[2021-05-13 18:27:48] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 198 ms.
[2021-05-13 18:28:05] [INFO ] Added : 280 causal constraints over 56 iterations in 16428 ms. Result :unknown
[2021-05-13 18:28:05] [INFO ] [Real]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 18:28:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:28:06] [INFO ] [Real]Absence check using state equation in 1030 ms returned sat
[2021-05-13 18:28:06] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:28:06] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:28:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:28:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 51 ms returned sat
[2021-05-13 18:28:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:28:07] [INFO ] [Nat]Absence check using state equation in 427 ms returned sat
[2021-05-13 18:28:07] [INFO ] [Nat]Added 42 Read/Feed constraints in 83 ms returned sat
[2021-05-13 18:28:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 220 ms.
[2021-05-13 18:28:25] [INFO ] Added : 255 causal constraints over 51 iterations in 18511 ms. Result :sat
[2021-05-13 18:28:25] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 18:28:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:28:26] [INFO ] [Real]Absence check using state equation in 294 ms returned sat
[2021-05-13 18:28:26] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 18:28:26] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:28:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:28:26] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:28:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:28:26] [INFO ] [Nat]Absence check using state equation in 342 ms returned sat
[2021-05-13 18:28:27] [INFO ] [Nat]Added 42 Read/Feed constraints in 84 ms returned sat
[2021-05-13 18:28:27] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 298 ms.
[2021-05-13 18:28:46] [INFO ] Added : 310 causal constraints over 62 iterations in 19435 ms. Result :unknown
[2021-05-13 18:28:46] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:28:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:28:46] [INFO ] [Real]Absence check using state equation in 203 ms returned sat
[2021-05-13 18:28:46] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:28:47] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 127 ms.
[2021-05-13 18:28:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:28:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:28:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:28:47] [INFO ] [Nat]Absence check using state equation in 284 ms returned sat
[2021-05-13 18:28:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 84 ms returned sat
[2021-05-13 18:28:47] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 139 ms.
[2021-05-13 18:29:07] [INFO ] Added : 305 causal constraints over 61 iterations in 19566 ms. Result :unknown
[2021-05-13 18:29:07] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:29:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:29:07] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:29:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:29:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:29:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:29:07] [INFO ] [Nat]Absence check using state equation in 149 ms returned sat
[2021-05-13 18:29:07] [INFO ] [Nat]Added 42 Read/Feed constraints in 49 ms returned sat
[2021-05-13 18:29:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 122 ms.
[2021-05-13 18:29:27] [INFO ] Added : 290 causal constraints over 58 iterations in 19737 ms. Result :unknown
[2021-05-13 18:29:27] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:29:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:29:27] [INFO ] [Real]Absence check using state equation in 242 ms returned sat
[2021-05-13 18:29:27] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 18:29:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 116 ms.
[2021-05-13 18:29:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:29:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:29:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:29:28] [INFO ] [Nat]Absence check using state equation in 199 ms returned sat
[2021-05-13 18:29:28] [INFO ] [Nat]Added 42 Read/Feed constraints in 73 ms returned sat
[2021-05-13 18:29:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 138 ms.
[2021-05-13 18:29:41] [INFO ] Added : 265 causal constraints over 53 iterations in 13393 ms. Result :sat
[2021-05-13 18:29:41] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:29:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:29:42] [INFO ] [Real]Absence check using state equation in 204 ms returned sat
[2021-05-13 18:29:42] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:29:42] [INFO ] Deduced a trap composed of 24 places in 523 ms
[2021-05-13 18:29:42] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 533 ms
[2021-05-13 18:29:42] [INFO ] [Real]Absence check using 7 positive place invariants in 32 ms returned sat
[2021-05-13 18:29:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:29:43] [INFO ] [Real]Absence check using state equation in 260 ms returned sat
[2021-05-13 18:29:43] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:29:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 18:29:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:29:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:29:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:29:43] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:29:44] [INFO ] [Nat]Added 42 Read/Feed constraints in 1054 ms returned sat
[2021-05-13 18:29:44] [INFO ] Deduced a trap composed of 5 places in 261 ms
[2021-05-13 18:29:44] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 360 ms
[2021-05-13 18:29:45] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 205 ms.
[2021-05-13 18:30:03] [INFO ] Added : 275 causal constraints over 55 iterations in 18347 ms. Result :unknown
[2021-05-13 18:30:03] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:30:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:30:03] [INFO ] [Real]Absence check using state equation in 152 ms returned sat
[2021-05-13 18:30:03] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 18:30:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:30:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:30:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:30:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:30:04] [INFO ] [Nat]Absence check using state equation in 209 ms returned sat
[2021-05-13 18:30:04] [INFO ] [Nat]Added 42 Read/Feed constraints in 810 ms returned sat
[2021-05-13 18:30:05] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 204 ms.
[2021-05-13 18:30:23] [INFO ] Added : 285 causal constraints over 57 iterations in 18888 ms. Result :unknown
[2021-05-13 18:30:24] [INFO ] [Real]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 18:30:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:30:25] [INFO ] [Real]Absence check using state equation in 1375 ms returned sat
[2021-05-13 18:30:25] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:30:25] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 141 ms.
[2021-05-13 18:30:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:30:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:30:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:30:26] [INFO ] [Nat]Absence check using state equation in 1065 ms returned sat
[2021-05-13 18:30:26] [INFO ] [Nat]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 18:30:27] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 278 ms.
[2021-05-13 18:30:45] [INFO ] Added : 305 causal constraints over 61 iterations in 18749 ms. Result :unknown
[2021-05-13 18:30:45] [INFO ] [Real]Absence check using 7 positive place invariants in 46 ms returned sat
[2021-05-13 18:30:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:30:46] [INFO ] [Real]Absence check using state equation in 1097 ms returned sat
[2021-05-13 18:30:47] [INFO ] [Real]Added 42 Read/Feed constraints in 58 ms returned sat
[2021-05-13 18:30:47] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 126 ms.
[2021-05-13 18:30:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:30:47] [INFO ] [Nat]Absence check using 7 positive place invariants in 29 ms returned sat
[2021-05-13 18:30:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:30:48] [INFO ] [Nat]Absence check using state equation in 783 ms returned sat
[2021-05-13 18:30:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 58 ms returned sat
[2021-05-13 18:30:48] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 219 ms.
[2021-05-13 18:31:05] [INFO ] Added : 280 causal constraints over 56 iterations in 17427 ms. Result :sat
[2021-05-13 18:31:05] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:31:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:31:06] [INFO ] [Real]Absence check using state equation in 255 ms returned sat
[2021-05-13 18:31:06] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 18:31:06] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 132 ms.
[2021-05-13 18:31:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:31:06] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:31:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:31:06] [INFO ] [Nat]Absence check using state equation in 199 ms returned sat
[2021-05-13 18:31:07] [INFO ] [Nat]Added 42 Read/Feed constraints in 933 ms returned sat
[2021-05-13 18:31:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 334 ms.
[2021-05-13 18:31:26] [INFO ] Added : 245 causal constraints over 49 iterations in 18788 ms. Result :unknown
[2021-05-13 18:31:26] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2021-05-13 18:31:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:31:27] [INFO ] [Real]Absence check using state equation in 1264 ms returned sat
[2021-05-13 18:31:27] [INFO ] [Real]Added 42 Read/Feed constraints in 28 ms returned sat
[2021-05-13 18:31:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 140 ms.
[2021-05-13 18:31:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:31:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:31:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:31:28] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 18:31:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 699 ms returned sat
[2021-05-13 18:31:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 150 ms.
[2021-05-13 18:31:47] [INFO ] Added : 270 causal constraints over 54 iterations in 18275 ms. Result :sat
[2021-05-13 18:31:47] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:31:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:31:47] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 18:31:47] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:31:47] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 130 ms.
[2021-05-13 18:31:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:31:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 33 ms returned sat
[2021-05-13 18:31:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:31:48] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 18:31:48] [INFO ] [Nat]Added 42 Read/Feed constraints in 96 ms returned sat
[2021-05-13 18:31:48] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 18:32:01] [INFO ] Added : 260 causal constraints over 52 iterations in 13415 ms. Result :unknown
[2021-05-13 18:32:02] [INFO ] [Real]Absence check using 7 positive place invariants in 52 ms returned sat
[2021-05-13 18:32:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:32:02] [INFO ] [Real]Absence check using state equation in 391 ms returned sat
[2021-05-13 18:32:02] [INFO ] [Real]Added 42 Read/Feed constraints in 29 ms returned sat
[2021-05-13 18:32:02] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 141 ms.
[2021-05-13 18:32:02] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:32:02] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:32:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:32:03] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:32:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 815 ms returned sat
[2021-05-13 18:32:04] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 18:32:21] [INFO ] Added : 285 causal constraints over 57 iterations in 17181 ms. Result :sat
[2021-05-13 18:32:21] [INFO ] [Real]Absence check using 7 positive place invariants in 59 ms returned sat
[2021-05-13 18:32:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:32:22] [INFO ] [Real]Absence check using state equation in 1020 ms returned sat
[2021-05-13 18:32:22] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:32:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 114 ms.
[2021-05-13 18:32:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:32:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 18:32:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:32:23] [INFO ] [Nat]Absence check using state equation in 971 ms returned sat
[2021-05-13 18:32:24] [INFO ] [Nat]Added 42 Read/Feed constraints in 730 ms returned sat
[2021-05-13 18:32:24] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 190 ms.
[2021-05-13 18:32:42] [INFO ] Added : 270 causal constraints over 54 iterations in 18210 ms. Result :unknown
[2021-05-13 18:32:42] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:32:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:32:43] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 18:32:43] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:32:43] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 118 ms.
[2021-05-13 18:32:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:32:43] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:32:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:32:43] [INFO ] [Nat]Absence check using state equation in 135 ms returned sat
[2021-05-13 18:32:44] [INFO ] [Nat]Added 42 Read/Feed constraints in 761 ms returned sat
[2021-05-13 18:32:44] [INFO ] Deduced a trap composed of 5 places in 311 ms
[2021-05-13 18:32:44] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 384 ms
[2021-05-13 18:32:44] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 219 ms.
[2021-05-13 18:33:03] [INFO ] Added : 270 causal constraints over 54 iterations in 18681 ms. Result :unknown
[2021-05-13 18:33:03] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:33:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:33:03] [INFO ] [Real]Absence check using state equation in 176 ms returned sat
[2021-05-13 18:33:03] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 18:33:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 115 ms.
[2021-05-13 18:33:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:33:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:33:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:33:04] [INFO ] [Nat]Absence check using state equation in 288 ms returned sat
[2021-05-13 18:33:04] [INFO ] [Nat]Added 42 Read/Feed constraints in 66 ms returned sat
[2021-05-13 18:33:04] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 208 ms.
[2021-05-13 18:33:23] [INFO ] Added : 305 causal constraints over 61 iterations in 19568 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:33:23] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:33:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:33:24] [INFO ] [Real]Absence check using state equation in 181 ms returned sat
[2021-05-13 18:33:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:33:24] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:33:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:33:24] [INFO ] [Nat]Absence check using state equation in 170 ms returned sat
[2021-05-13 18:33:24] [INFO ] [Nat]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:33:24] [INFO ] Deduced a trap composed of 24 places in 470 ms
[2021-05-13 18:33:24] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 478 ms
[2021-05-13 18:33:24] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:33:24] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:33:25] [INFO ] [Real]Absence check using state equation in 187 ms returned sat
[2021-05-13 18:33:25] [INFO ] [Real]Added 42 Read/Feed constraints in 30 ms returned sat
[2021-05-13 18:33:25] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 227 ms.
[2021-05-13 18:33:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:33:25] [INFO ] [Nat]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 18:33:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:33:26] [INFO ] [Nat]Absence check using state equation in 1027 ms returned sat
[2021-05-13 18:33:28] [INFO ] [Nat]Added 42 Read/Feed constraints in 1912 ms returned sat
[2021-05-13 18:33:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 115 ms.
[2021-05-13 18:33:45] [INFO ] Added : 250 causal constraints over 50 iterations in 16973 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:33:45] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:33:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:33:45] [INFO ] [Real]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:33:45] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:33:46] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 317 ms.
[2021-05-13 18:33:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:33:46] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:33:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:33:46] [INFO ] [Nat]Absence check using state equation in 197 ms returned sat
[2021-05-13 18:33:47] [INFO ] [Nat]Added 42 Read/Feed constraints in 1051 ms returned sat
[2021-05-13 18:33:47] [INFO ] Deduced a trap composed of 5 places in 312 ms
[2021-05-13 18:33:48] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 400 ms
[2021-05-13 18:33:48] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:34:06] [INFO ] Added : 290 causal constraints over 58 iterations in 18344 ms. Result :unknown
[2021-05-13 18:34:06] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2021-05-13 18:34:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:34:07] [INFO ] [Real]Absence check using state equation in 561 ms returned sat
[2021-05-13 18:34:07] [INFO ] [Real]Added 42 Read/Feed constraints in 46 ms returned sat
[2021-05-13 18:34:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 259 ms.
[2021-05-13 18:34:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:34:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:34:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:34:08] [INFO ] [Nat]Absence check using state equation in 429 ms returned sat
[2021-05-13 18:34:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 86 ms returned sat
[2021-05-13 18:34:08] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 153 ms.
[2021-05-13 18:34:27] [INFO ] Added : 290 causal constraints over 58 iterations in 19401 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:34:27] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:34:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:34:27] [INFO ] [Real]Absence check using state equation in 150 ms returned sat
[2021-05-13 18:34:27] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 18:34:27] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 180 ms.
[2021-05-13 18:34:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:34:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:34:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:34:28] [INFO ] [Nat]Absence check using state equation in 189 ms returned sat
[2021-05-13 18:34:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 1022 ms returned sat
[2021-05-13 18:34:29] [INFO ] Deduced a trap composed of 5 places in 530 ms
[2021-05-13 18:34:29] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 593 ms
[2021-05-13 18:34:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 132 ms.
[2021-05-13 18:34:48] [INFO ] Added : 275 causal constraints over 55 iterations in 18176 ms. Result :unknown
[2021-05-13 18:34:48] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:34:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:34:49] [INFO ] [Real]Absence check using state equation in 956 ms returned sat
[2021-05-13 18:34:49] [INFO ] [Real]Added 42 Read/Feed constraints in 47 ms returned sat
[2021-05-13 18:34:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 188 ms.
[2021-05-13 18:34:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:34:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 19 ms returned sat
[2021-05-13 18:34:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:34:49] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 18:34:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 783 ms returned sat
[2021-05-13 18:34:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 128 ms.
[2021-05-13 18:35:02] [INFO ] Added : 245 causal constraints over 49 iterations in 12146 ms. Result :sat
[2021-05-13 18:35:02] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:35:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:35:03] [INFO ] [Real]Absence check using state equation in 216 ms returned sat
[2021-05-13 18:35:03] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:35:03] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 258 ms.
[2021-05-13 18:35:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:35:03] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:35:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:35:03] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 18:35:03] [INFO ] [Nat]Added 42 Read/Feed constraints in 75 ms returned sat
[2021-05-13 18:35:04] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 146 ms.
[2021-05-13 18:35:16] [INFO ] Added : 270 causal constraints over 54 iterations in 12540 ms. Result :sat
[2021-05-13 18:35:16] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:35:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:35:16] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 18:35:16] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:35:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 118 ms.
[2021-05-13 18:35:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:35:17] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:35:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:35:17] [INFO ] [Nat]Absence check using state equation in 211 ms returned sat
[2021-05-13 18:35:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 72 ms returned sat
[2021-05-13 18:35:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 183 ms.
[2021-05-13 18:35:29] [INFO ] Added : 260 causal constraints over 52 iterations in 12291 ms. Result :sat
[2021-05-13 18:35:29] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:35:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:35:30] [INFO ] [Real]Absence check using state equation in 217 ms returned sat
[2021-05-13 18:35:30] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:35:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 18:35:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:35:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:35:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:35:30] [INFO ] [Nat]Absence check using state equation in 214 ms returned sat
[2021-05-13 18:35:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 751 ms returned sat
[2021-05-13 18:35:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 185 ms.
[2021-05-13 18:35:50] [INFO ] Added : 290 causal constraints over 58 iterations in 18921 ms. Result :unknown
[2021-05-13 18:35:50] [INFO ] [Real]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 18:35:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:35:50] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2021-05-13 18:35:50] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 18:35:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 114 ms.
[2021-05-13 18:35:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:35:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2021-05-13 18:35:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:35:51] [INFO ] [Nat]Absence check using state equation in 232 ms returned sat
[2021-05-13 18:35:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 818 ms returned sat
[2021-05-13 18:35:52] [INFO ] Deduced a trap composed of 5 places in 575 ms
[2021-05-13 18:35:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 645 ms
[2021-05-13 18:35:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 164 ms.
[2021-05-13 18:36:09] [INFO ] Added : 270 causal constraints over 54 iterations in 16515 ms. Result :sat
[2021-05-13 18:36:09] [INFO ] [Real]Absence check using 7 positive place invariants in 27 ms returned sat
[2021-05-13 18:36:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:36:10] [INFO ] [Real]Absence check using state equation in 469 ms returned sat
[2021-05-13 18:36:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:36:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:36:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:36:10] [INFO ] [Nat]Absence check using state equation in 182 ms returned sat
[2021-05-13 18:36:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 18:36:11] [INFO ] Deduced a trap composed of 24 places in 913 ms
[2021-05-13 18:36:11] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 926 ms
[2021-05-13 18:36:11] [INFO ] [Real]Absence check using 7 positive place invariants in 50 ms returned sat
[2021-05-13 18:36:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:36:12] [INFO ] [Real]Absence check using state equation in 887 ms returned sat
[2021-05-13 18:36:12] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:36:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 125 ms.
[2021-05-13 18:36:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:36:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 18:36:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:36:12] [INFO ] [Nat]Absence check using state equation in 313 ms returned sat
[2021-05-13 18:36:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 807 ms returned sat
[2021-05-13 18:36:14] [INFO ] Deduced a trap composed of 5 places in 303 ms
[2021-05-13 18:36:14] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 369 ms
[2021-05-13 18:36:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 130 ms.
[2021-05-13 18:36:32] [INFO ] Added : 280 causal constraints over 56 iterations in 18478 ms. Result :unknown
[2021-05-13 18:36:32] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:36:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:36:32] [INFO ] [Real]Absence check using state equation in 253 ms returned sat
[2021-05-13 18:36:32] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 18:36:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 121 ms.
[2021-05-13 18:36:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:36:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:36:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:36:33] [INFO ] [Nat]Absence check using state equation in 204 ms returned sat
[2021-05-13 18:36:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 64 ms returned sat
[2021-05-13 18:36:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 138 ms.
[2021-05-13 18:36:53] [INFO ] Added : 310 causal constraints over 62 iterations in 19643 ms. Result :unknown
[2021-05-13 18:36:53] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:36:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:36:53] [INFO ] [Real]Absence check using state equation in 255 ms returned sat
[2021-05-13 18:36:53] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:36:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:36:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:36:54] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 18:36:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:36:54] [INFO ] [Nat]Absence check using state equation in 221 ms returned sat
[2021-05-13 18:36:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 1114 ms returned sat
[2021-05-13 18:36:55] [INFO ] Deduced a trap composed of 5 places in 328 ms
[2021-05-13 18:36:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 464 ms
[2021-05-13 18:36:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 115 ms.
[2021-05-13 18:37:13] [INFO ] Added : 250 causal constraints over 50 iterations in 17668 ms. Result :sat
[2021-05-13 18:37:13] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:37:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:37:13] [INFO ] [Real]Absence check using state equation in 259 ms returned sat
[2021-05-13 18:37:13] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:37:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 108 ms.
[2021-05-13 18:37:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:37:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 25 ms returned sat
[2021-05-13 18:37:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:37:14] [INFO ] [Nat]Absence check using state equation in 201 ms returned sat
[2021-05-13 18:37:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 773 ms returned sat
[2021-05-13 18:37:15] [INFO ] Deduced a trap composed of 5 places in 664 ms
[2021-05-13 18:37:15] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 728 ms
[2021-05-13 18:37:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 204 ms.
[2021-05-13 18:37:32] [INFO ] Added : 270 causal constraints over 54 iterations in 17016 ms. Result :sat
[2021-05-13 18:37:33] [INFO ] [Real]Absence check using 7 positive place invariants in 35 ms returned sat
[2021-05-13 18:37:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:37:34] [INFO ] [Real]Absence check using state equation in 1157 ms returned sat
[2021-05-13 18:37:34] [INFO ] [Real]Added 42 Read/Feed constraints in 38 ms returned sat
[2021-05-13 18:37:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 18:37:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:37:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 24 ms returned sat
[2021-05-13 18:37:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:37:35] [INFO ] [Nat]Absence check using state equation in 1292 ms returned sat
[2021-05-13 18:37:37] [INFO ] [Nat]Added 42 Read/Feed constraints in 1469 ms returned sat
[2021-05-13 18:37:37] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 168 ms.
[2021-05-13 18:37:54] [INFO ] Added : 260 causal constraints over 52 iterations in 17181 ms. Result :unknown
[2021-05-13 18:37:54] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:37:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:37:54] [INFO ] [Real]Absence check using state equation in 166 ms returned sat
[2021-05-13 18:37:54] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:37:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 122 ms.
[2021-05-13 18:37:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:37:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 49 ms returned sat
[2021-05-13 18:37:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:37:55] [INFO ] [Nat]Absence check using state equation in 444 ms returned sat
[2021-05-13 18:37:56] [INFO ] [Nat]Added 42 Read/Feed constraints in 886 ms returned sat
[2021-05-13 18:37:56] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 222 ms.
[2021-05-13 18:38:15] [INFO ] Added : 315 causal constraints over 63 iterations in 18561 ms. Result :unknown
[2021-05-13 18:38:15] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:38:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:38:15] [INFO ] [Real]Absence check using state equation in 221 ms returned sat
[2021-05-13 18:38:15] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 18:38:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 141 ms.
[2021-05-13 18:38:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:38:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:38:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:38:16] [INFO ] [Nat]Absence check using state equation in 273 ms returned sat
[2021-05-13 18:38:16] [INFO ] [Nat]Added 42 Read/Feed constraints in 63 ms returned sat
[2021-05-13 18:38:16] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 160 ms.
[2021-05-13 18:38:35] [INFO ] Added : 300 causal constraints over 60 iterations in 19571 ms. Result :unknown
[2021-05-13 18:38:35] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:38:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:38:36] [INFO ] [Real]Absence check using state equation in 213 ms returned sat
[2021-05-13 18:38:36] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:38:36] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 102 ms.
[2021-05-13 18:38:36] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:38:36] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:38:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:38:36] [INFO ] [Nat]Absence check using state equation in 286 ms returned sat
[2021-05-13 18:38:36] [INFO ] [Nat]Added 42 Read/Feed constraints in 77 ms returned sat
[2021-05-13 18:38:37] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 138 ms.
[2021-05-13 18:38:56] [INFO ] Added : 280 causal constraints over 56 iterations in 19598 ms. Result :unknown
[2021-05-13 18:38:56] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:38:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:38:56] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:38:56] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:38:56] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 109 ms.
[2021-05-13 18:38:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:38:57] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:38:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:38:57] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:38:57] [INFO ] [Nat]Added 42 Read/Feed constraints in 57 ms returned sat
[2021-05-13 18:38:57] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 302 ms.
[2021-05-13 18:39:10] [INFO ] Added : 255 causal constraints over 51 iterations in 13586 ms. Result :sat
[2021-05-13 18:39:11] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:39:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:39:11] [INFO ] [Real]Absence check using state equation in 395 ms returned sat
[2021-05-13 18:39:11] [INFO ] [Real]Added 42 Read/Feed constraints in 52 ms returned sat
[2021-05-13 18:39:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 141 ms.
[2021-05-13 18:39:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:39:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:39:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:39:12] [INFO ] [Nat]Absence check using state equation in 245 ms returned sat
[2021-05-13 18:39:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 1312 ms returned sat
[2021-05-13 18:39:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 102 ms.
[2021-05-13 18:39:31] [INFO ] Added : 245 causal constraints over 49 iterations in 18385 ms. Result :unknown
[2021-05-13 18:39:31] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:39:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:39:32] [INFO ] [Real]Absence check using state equation in 354 ms returned sat
[2021-05-13 18:39:32] [INFO ] [Real]Added 42 Read/Feed constraints in 49 ms returned sat
[2021-05-13 18:39:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 102 ms.
[2021-05-13 18:39:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:39:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:39:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:39:33] [INFO ] [Nat]Absence check using state equation in 402 ms returned sat
[2021-05-13 18:39:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 86 ms returned sat
[2021-05-13 18:39:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 102 ms.
[2021-05-13 18:39:52] [INFO ] Added : 275 causal constraints over 55 iterations in 19476 ms. Result :unknown
[2021-05-13 18:39:52] [INFO ] [Real]Absence check using 7 positive place invariants in 30 ms returned sat
[2021-05-13 18:39:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:39:52] [INFO ] [Real]Absence check using state equation in 246 ms returned sat
[2021-05-13 18:39:53] [INFO ] [Real]Added 42 Read/Feed constraints in 44 ms returned sat
[2021-05-13 18:39:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 101 ms.
[2021-05-13 18:39:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:39:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:39:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:39:53] [INFO ] [Nat]Absence check using state equation in 200 ms returned sat
[2021-05-13 18:39:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 882 ms returned sat
[2021-05-13 18:39:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 18:40:13] [INFO ] Added : 220 causal constraints over 44 iterations in 18873 ms. Result :unknown
[2021-05-13 18:40:13] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:40:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:40:13] [INFO ] [Real]Absence check using state equation in 454 ms returned sat
[2021-05-13 18:40:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:40:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 39 ms returned sat
[2021-05-13 18:40:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:40:14] [INFO ] [Nat]Absence check using state equation in 821 ms returned sat
[2021-05-13 18:40:15] [INFO ] [Nat]Added 42 Read/Feed constraints in 842 ms returned sat
[2021-05-13 18:40:17] [INFO ] Deduced a trap composed of 5 places in 1626 ms
[2021-05-13 18:40:17] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1680 ms
[2021-05-13 18:40:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 102 ms.
[2021-05-13 18:40:33] [INFO ] Added : 280 causal constraints over 56 iterations in 16602 ms. Result :unknown
[2021-05-13 18:40:33] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:40:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:40:34] [INFO ] [Real]Absence check using state equation in 286 ms returned sat
[2021-05-13 18:40:34] [INFO ] [Real]Added 42 Read/Feed constraints in 48 ms returned sat
[2021-05-13 18:40:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 103 ms.
[2021-05-13 18:40:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:40:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:40:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:40:34] [INFO ] [Nat]Absence check using state equation in 280 ms returned sat
[2021-05-13 18:40:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 681 ms returned sat
[2021-05-13 18:40:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 108 ms.
[2021-05-13 18:40:54] [INFO ] Added : 280 causal constraints over 56 iterations in 18972 ms. Result :unknown
[2021-05-13 18:40:54] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:40:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:40:54] [INFO ] [Real]Absence check using state equation in 280 ms returned sat
[2021-05-13 18:40:54] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2021-05-13 18:40:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 112 ms.
[2021-05-13 18:40:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:40:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:40:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:40:55] [INFO ] [Nat]Absence check using state equation in 196 ms returned sat
[2021-05-13 18:40:56] [INFO ] [Nat]Added 42 Read/Feed constraints in 839 ms returned sat
[2021-05-13 18:40:56] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 125 ms.
[2021-05-13 18:41:15] [INFO ] Added : 260 causal constraints over 52 iterations in 18912 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:41:15] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:41:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:41:15] [INFO ] [Real]Absence check using state equation in 293 ms returned sat
[2021-05-13 18:41:15] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2021-05-13 18:41:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 105 ms.
[2021-05-13 18:41:15] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:41:15] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 18:41:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:41:16] [INFO ] [Nat]Absence check using state equation in 703 ms returned sat
[2021-05-13 18:41:17] [INFO ] [Nat]Added 42 Read/Feed constraints in 848 ms returned sat
[2021-05-13 18:41:17] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 113 ms.
[2021-05-13 18:41:27] [INFO ] Added : 220 causal constraints over 44 iterations in 9830 ms. Result :sat
[2021-05-13 18:41:27] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:41:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:41:27] [INFO ] [Real]Absence check using state equation in 305 ms returned sat
[2021-05-13 18:41:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:41:27] [INFO ] [Nat]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 18:41:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:41:27] [INFO ] [Nat]Absence check using state equation in 257 ms returned sat
[2021-05-13 18:41:28] [INFO ] [Nat]Added 42 Read/Feed constraints in 745 ms returned sat
[2021-05-13 18:41:29] [INFO ] Deduced a trap composed of 5 places in 655 ms
[2021-05-13 18:41:29] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 717 ms
[2021-05-13 18:41:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:41:47] [INFO ] Added : 280 causal constraints over 56 iterations in 18286 ms. Result :unknown
[2021-05-13 18:41:47] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:41:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:41:47] [INFO ] [Real]Absence check using state equation in 250 ms returned sat
[2021-05-13 18:41:47] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 18:41:48] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 101 ms.
[2021-05-13 18:41:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:41:48] [INFO ] [Nat]Absence check using 7 positive place invariants in 40 ms returned sat
[2021-05-13 18:41:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:41:49] [INFO ] [Nat]Absence check using state equation in 870 ms returned sat
[2021-05-13 18:41:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 93 ms returned sat
[2021-05-13 18:41:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 208 ms.
[2021-05-13 18:42:08] [INFO ] Added : 310 causal constraints over 62 iterations in 18896 ms. Result :unknown
[2021-05-13 18:42:08] [INFO ] [Real]Absence check using 7 positive place invariants in 38 ms returned sat
[2021-05-13 18:42:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:42:09] [INFO ] [Real]Absence check using state equation in 832 ms returned sat
[2021-05-13 18:42:09] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 18:42:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:42:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:42:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:42:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:42:09] [INFO ] [Nat]Absence check using state equation in 189 ms returned sat
[2021-05-13 18:42:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 68 ms returned sat
[2021-05-13 18:42:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 199 ms.
[2021-05-13 18:42:29] [INFO ] Added : 300 causal constraints over 60 iterations in 19699 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:42:29] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:42:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:42:29] [INFO ] [Real]Absence check using state equation in 290 ms returned sat
[2021-05-13 18:42:29] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 18:42:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 113 ms.
[2021-05-13 18:42:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:42:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 61 ms returned sat
[2021-05-13 18:42:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:42:30] [INFO ] [Nat]Absence check using state equation in 356 ms returned sat
[2021-05-13 18:42:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 61 ms returned sat
[2021-05-13 18:42:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 212 ms.
[2021-05-13 18:42:50] [INFO ] Added : 280 causal constraints over 56 iterations in 19426 ms. Result :unknown
[2021-05-13 18:42:50] [INFO ] [Real]Absence check using 7 positive place invariants in 49 ms returned sat
[2021-05-13 18:42:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:42:50] [INFO ] [Real]Absence check using state equation in 481 ms returned sat
[2021-05-13 18:42:50] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:42:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 128 ms.
[2021-05-13 18:42:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:42:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 21 ms returned sat
[2021-05-13 18:42:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:42:51] [INFO ] [Nat]Absence check using state equation in 306 ms returned sat
[2021-05-13 18:42:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 74 ms returned sat
[2021-05-13 18:42:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 206 ms.
[2021-05-13 18:43:10] [INFO ] Added : 290 causal constraints over 58 iterations in 18882 ms. Result :sat
[2021-05-13 18:43:10] [INFO ] [Real]Absence check using 7 positive place invariants in 20 ms returned sat
[2021-05-13 18:43:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:43:10] [INFO ] [Real]Absence check using state equation in 181 ms returned sat
[2021-05-13 18:43:10] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 18:43:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 129 ms.
[2021-05-13 18:43:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:43:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 18:43:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:43:11] [INFO ] [Nat]Absence check using state equation in 459 ms returned sat
[2021-05-13 18:43:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 55 ms returned sat
[2021-05-13 18:43:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 191 ms.
[2021-05-13 18:43:31] [INFO ] Added : 305 causal constraints over 61 iterations in 19404 ms. Result :unknown
[2021-05-13 18:43:31] [INFO ] [Real]Absence check using 7 positive place invariants in 31 ms returned sat
[2021-05-13 18:43:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:43:31] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2021-05-13 18:43:31] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 18:43:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 129 ms.
[2021-05-13 18:43:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:43:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:43:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:43:32] [INFO ] [Nat]Absence check using state equation in 405 ms returned sat
[2021-05-13 18:43:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 54 ms returned sat
[2021-05-13 18:43:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 196 ms.
[2021-05-13 18:43:51] [INFO ] Added : 285 causal constraints over 57 iterations in 19429 ms. Result :unknown
[2021-05-13 18:43:52] [INFO ] [Real]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 18:43:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:43:52] [INFO ] [Real]Absence check using state equation in 760 ms returned sat
[2021-05-13 18:43:52] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:43:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 18:43:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:43:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 23 ms returned sat
[2021-05-13 18:43:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:43:54] [INFO ] [Nat]Absence check using state equation in 1097 ms returned sat
[2021-05-13 18:43:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 98 ms returned sat
[2021-05-13 18:43:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 216 ms.
[2021-05-13 18:44:08] [INFO ] Added : 255 causal constraints over 51 iterations in 14536 ms. Result :sat
[2021-05-13 18:44:09] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:44:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:44:09] [INFO ] [Real]Absence check using state equation in 224 ms returned sat
[2021-05-13 18:44:09] [INFO ] [Real]Added 42 Read/Feed constraints in 73 ms returned sat
[2021-05-13 18:44:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 142 ms.
[2021-05-13 18:44:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:44:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:44:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:44:10] [INFO ] [Nat]Absence check using state equation in 342 ms returned sat
[2021-05-13 18:44:11] [INFO ] [Nat]Added 42 Read/Feed constraints in 1011 ms returned sat
[2021-05-13 18:44:11] [INFO ] Deduced a trap composed of 5 places in 412 ms
[2021-05-13 18:44:11] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 468 ms
[2021-05-13 18:44:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 219 ms.
[2021-05-13 18:44:29] [INFO ] Added : 275 causal constraints over 55 iterations in 18179 ms. Result :unknown
[2021-05-13 18:44:29] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 18:44:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:44:30] [INFO ] [Real]Absence check using state equation in 249 ms returned sat
[2021-05-13 18:44:30] [INFO ] [Real]Added 42 Read/Feed constraints in 41 ms returned sat
[2021-05-13 18:44:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 127 ms.
[2021-05-13 18:44:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:44:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:44:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:44:30] [INFO ] [Nat]Absence check using state equation in 298 ms returned sat
[2021-05-13 18:44:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 102 ms returned sat
[2021-05-13 18:44:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 260 ms.
[2021-05-13 18:44:50] [INFO ] Added : 290 causal constraints over 58 iterations in 19533 ms. Result :unknown
[2021-05-13 18:44:50] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:44:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:44:50] [INFO ] [Real]Absence check using state equation in 155 ms returned sat
[2021-05-13 18:44:50] [INFO ] [Real]Added 42 Read/Feed constraints in 23 ms returned sat
[2021-05-13 18:44:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 121 ms.
[2021-05-13 18:44:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:44:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:44:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:44:51] [INFO ] [Nat]Absence check using state equation in 727 ms returned sat
[2021-05-13 18:44:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 701 ms returned sat
[2021-05-13 18:44:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 201 ms.
[2021-05-13 18:45:10] [INFO ] Added : 305 causal constraints over 61 iterations in 18500 ms. Result :unknown
[2021-05-13 18:45:10] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:45:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:45:11] [INFO ] [Real]Absence check using state equation in 448 ms returned sat
[2021-05-13 18:45:11] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 18:45:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 126 ms.
[2021-05-13 18:45:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:45:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:45:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:45:12] [INFO ] [Nat]Absence check using state equation in 880 ms returned sat
[2021-05-13 18:45:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 146 ms returned sat
[2021-05-13 18:45:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 239 ms.
[2021-05-13 18:45:29] [INFO ] Added : 275 causal constraints over 55 iterations in 16277 ms. Result :sat
[2021-05-13 18:45:29] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:45:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:45:29] [INFO ] [Real]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:45:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:45:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:45:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:45:29] [INFO ] [Nat]Absence check using state equation in 170 ms returned sat
[2021-05-13 18:45:30] [INFO ] [Nat]Added 42 Read/Feed constraints in 753 ms returned sat
[2021-05-13 18:45:30] [INFO ] Deduced a trap composed of 5 places in 423 ms
[2021-05-13 18:45:30] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 483 ms
[2021-05-13 18:45:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 121 ms.
[2021-05-13 18:45:49] [INFO ] Added : 280 causal constraints over 56 iterations in 18575 ms. Result :unknown
[2021-05-13 18:45:49] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:45:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:45:49] [INFO ] [Real]Absence check using state equation in 165 ms returned sat
[2021-05-13 18:45:49] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 18:45:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 112 ms.
[2021-05-13 18:45:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:45:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:45:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:45:50] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:45:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 67 ms returned sat
[2021-05-13 18:45:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 18:46:07] [INFO ] Added : 260 causal constraints over 52 iterations in 16849 ms. Result :sat
[2021-05-13 18:46:07] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:46:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:46:07] [INFO ] [Real]Absence check using state equation in 158 ms returned sat
[2021-05-13 18:46:07] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 18:46:07] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:46:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:46:07] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:46:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:46:08] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 18:46:08] [INFO ] [Nat]Added 42 Read/Feed constraints in 741 ms returned sat
[2021-05-13 18:46:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 142 ms.
[2021-05-13 18:46:27] [INFO ] Added : 290 causal constraints over 58 iterations in 18958 ms. Result :unknown
[2021-05-13 18:46:28] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:46:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:46:28] [INFO ] [Real]Absence check using state equation in 225 ms returned sat
[2021-05-13 18:46:28] [INFO ] [Real]Added 42 Read/Feed constraints in 34 ms returned sat
[2021-05-13 18:46:28] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 121 ms.
[2021-05-13 18:46:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:46:28] [INFO ] [Nat]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:46:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:46:28] [INFO ] [Nat]Absence check using state equation in 267 ms returned sat
[2021-05-13 18:46:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 883 ms returned sat
[2021-05-13 18:46:30] [INFO ] Deduced a trap composed of 5 places in 329 ms
[2021-05-13 18:46:30] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 395 ms
[2021-05-13 18:46:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 127 ms.
[2021-05-13 18:46:48] [INFO ] Added : 265 causal constraints over 53 iterations in 18436 ms. Result :unknown
[2021-05-13 18:46:48] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:46:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:46:48] [INFO ] [Real]Absence check using state equation in 164 ms returned sat
[2021-05-13 18:46:48] [INFO ] [Real]Added 42 Read/Feed constraints in 28 ms returned sat
[2021-05-13 18:46:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 140 ms.
[2021-05-13 18:46:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:46:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 46 ms returned sat
[2021-05-13 18:46:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:46:49] [INFO ] [Nat]Absence check using state equation in 488 ms returned sat
[2021-05-13 18:46:50] [INFO ] [Nat]Added 42 Read/Feed constraints in 697 ms returned sat
[2021-05-13 18:46:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 141 ms.
[2021-05-13 18:47:09] [INFO ] Added : 295 causal constraints over 59 iterations in 18679 ms. Result :unknown
[2021-05-13 18:47:09] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:47:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:47:09] [INFO ] [Real]Absence check using state equation in 171 ms returned sat
[2021-05-13 18:47:09] [INFO ] [Real]Added 42 Read/Feed constraints in 28 ms returned sat
[2021-05-13 18:47:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 18:47:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:47:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:47:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:47:09] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 18:47:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 68 ms returned sat
[2021-05-13 18:47:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 211 ms.
[2021-05-13 18:47:29] [INFO ] Added : 295 causal constraints over 59 iterations in 19645 ms. Result :unknown
[2021-05-13 18:47:29] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:47:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:47:29] [INFO ] [Real]Absence check using state equation in 176 ms returned sat
[2021-05-13 18:47:30] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 18:47:30] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 18:47:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:47:30] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:47:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:47:30] [INFO ] [Nat]Absence check using state equation in 267 ms returned sat
[2021-05-13 18:47:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 1224 ms returned sat
[2021-05-13 18:47:32] [INFO ] Deduced a trap composed of 5 places in 383 ms
[2021-05-13 18:47:32] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 458 ms
[2021-05-13 18:47:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 154 ms.
[2021-05-13 18:47:50] [INFO ] Added : 265 causal constraints over 53 iterations in 17974 ms. Result :unknown
[2021-05-13 18:47:50] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:47:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:47:50] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 18:47:50] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:47:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 129 ms.
[2021-05-13 18:47:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:47:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 39 ms returned sat
[2021-05-13 18:47:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:47:51] [INFO ] [Nat]Absence check using state equation in 221 ms returned sat
[2021-05-13 18:47:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 887 ms returned sat
[2021-05-13 18:47:52] [INFO ] Deduced a trap composed of 5 places in 439 ms
[2021-05-13 18:47:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 539 ms
[2021-05-13 18:47:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 196 ms.
[2021-05-13 18:48:10] [INFO ] Added : 290 causal constraints over 58 iterations in 18317 ms. Result :unknown
[2021-05-13 18:48:11] [INFO ] [Real]Absence check using 7 positive place invariants in 54 ms returned sat
[2021-05-13 18:48:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:48:12] [INFO ] [Real]Absence check using state equation in 1015 ms returned sat
[2021-05-13 18:48:12] [INFO ] [Real]Added 42 Read/Feed constraints in 26 ms returned sat
[2021-05-13 18:48:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 121 ms.
[2021-05-13 18:48:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:48:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 50 ms returned sat
[2021-05-13 18:48:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:48:13] [INFO ] [Nat]Absence check using state equation in 761 ms returned sat
[2021-05-13 18:48:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 817 ms returned sat
[2021-05-13 18:48:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 215 ms.
[2021-05-13 18:48:32] [INFO ] Added : 310 causal constraints over 62 iterations in 18313 ms. Result :unknown
[2021-05-13 18:48:32] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:48:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:48:32] [INFO ] [Real]Absence check using state equation in 203 ms returned sat
[2021-05-13 18:48:32] [INFO ] [Real]Added 42 Read/Feed constraints in 71 ms returned sat
[2021-05-13 18:48:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 158 ms.
[2021-05-13 18:48:33] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:48:33] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:48:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:48:33] [INFO ] [Nat]Absence check using state equation in 199 ms returned sat
[2021-05-13 18:48:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 79 ms returned sat
[2021-05-13 18:48:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 153 ms.
[2021-05-13 18:48:53] [INFO ] Added : 315 causal constraints over 63 iterations in 19619 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:48:53] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:48:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:48:53] [INFO ] [Real]Absence check using state equation in 248 ms returned sat
[2021-05-13 18:48:53] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2021-05-13 18:48:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 109 ms.
[2021-05-13 18:48:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:48:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:48:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:48:53] [INFO ] [Nat]Absence check using state equation in 150 ms returned sat
[2021-05-13 18:48:53] [INFO ] [Nat]Added 42 Read/Feed constraints in 104 ms returned sat
[2021-05-13 18:48:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 141 ms.
[2021-05-13 18:49:13] [INFO ] Added : 255 causal constraints over 51 iterations in 19677 ms. Result :unknown
[2021-05-13 18:49:13] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:49:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:49:13] [INFO ] [Real]Absence check using state equation in 206 ms returned sat
[2021-05-13 18:49:13] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:49:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 114 ms.
[2021-05-13 18:49:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:49:14] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:49:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:49:14] [INFO ] [Nat]Absence check using state equation in 412 ms returned sat
[2021-05-13 18:49:14] [INFO ] [Nat]Added 42 Read/Feed constraints in 89 ms returned sat
[2021-05-13 18:49:15] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 196 ms.
[2021-05-13 18:49:34] [INFO ] Added : 290 causal constraints over 58 iterations in 19443 ms. Result :unknown
[2021-05-13 18:49:34] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:49:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:49:34] [INFO ] [Real]Absence check using state equation in 413 ms returned sat
[2021-05-13 18:49:34] [INFO ] [Real]Added 42 Read/Feed constraints in 49 ms returned sat
[2021-05-13 18:49:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 132 ms.
[2021-05-13 18:49:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:49:35] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:49:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:49:35] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 18:49:35] [INFO ] [Nat]Added 42 Read/Feed constraints in 67 ms returned sat
[2021-05-13 18:49:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 163 ms.
[2021-05-13 18:49:55] [INFO ] Added : 305 causal constraints over 61 iterations in 19640 ms. Result :unknown
[2021-05-13 18:49:55] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:49:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:49:55] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2021-05-13 18:49:55] [INFO ] [Real]Added 42 Read/Feed constraints in 44 ms returned sat
[2021-05-13 18:49:55] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 127 ms.
[2021-05-13 18:49:55] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:49:55] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:49:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:49:56] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 18:49:56] [INFO ] [Nat]Added 42 Read/Feed constraints in 899 ms returned sat
[2021-05-13 18:49:57] [INFO ] Deduced a trap composed of 5 places in 479 ms
[2021-05-13 18:49:57] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 553 ms
[2021-05-13 18:49:57] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 180 ms.
[2021-05-13 18:50:07] [INFO ] Added : 215 causal constraints over 43 iterations in 10459 ms. Result :sat
[2021-05-13 18:50:08] [INFO ] [Real]Absence check using 7 positive place invariants in 43 ms returned sat
[2021-05-13 18:50:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:50:08] [INFO ] [Real]Absence check using state equation in 652 ms returned sat
[2021-05-13 18:50:08] [INFO ] [Real]Added 42 Read/Feed constraints in 37 ms returned sat
[2021-05-13 18:50:08] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 147 ms.
[2021-05-13 18:50:09] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:50:09] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:50:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:50:09] [INFO ] [Nat]Absence check using state equation in 214 ms returned sat
[2021-05-13 18:50:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 71 ms returned sat
[2021-05-13 18:50:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 150 ms.
[2021-05-13 18:50:28] [INFO ] Added : 285 causal constraints over 57 iterations in 19113 ms. Result :unknown
[2021-05-13 18:50:28] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:50:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:50:29] [INFO ] [Real]Absence check using state equation in 506 ms returned sat
[2021-05-13 18:50:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:50:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:50:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:50:29] [INFO ] [Nat]Absence check using state equation in 165 ms returned sat
[2021-05-13 18:50:29] [INFO ] [Nat]Added 42 Read/Feed constraints in 61 ms returned sat
[2021-05-13 18:50:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 142 ms.
[2021-05-13 18:50:49] [INFO ] Added : 300 causal constraints over 60 iterations in 19687 ms. Result :unknown
[2021-05-13 18:50:49] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:50:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:50:49] [INFO ] [Real]Absence check using state equation in 214 ms returned sat
[2021-05-13 18:50:49] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:50:50] [INFO ] Deduced a trap composed of 24 places in 466 ms
[2021-05-13 18:50:50] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 477 ms
[2021-05-13 18:50:50] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:50:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:50:50] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 18:50:50] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:50:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 94 ms.
[2021-05-13 18:50:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:50:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:50:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:50:50] [INFO ] [Nat]Absence check using state equation in 207 ms returned sat
[2021-05-13 18:50:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 742 ms returned sat
[2021-05-13 18:50:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 129 ms.
[2021-05-13 18:51:10] [INFO ] Added : 315 causal constraints over 63 iterations in 18979 ms. Result :unknown
[2021-05-13 18:51:10] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:51:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:51:10] [INFO ] [Real]Absence check using state equation in 158 ms returned sat
[2021-05-13 18:51:10] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 18:51:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 134 ms.
[2021-05-13 18:51:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:51:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:51:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:51:11] [INFO ] [Nat]Absence check using state equation in 216 ms returned sat
[2021-05-13 18:51:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 969 ms returned sat
[2021-05-13 18:51:12] [INFO ] Deduced a trap composed of 5 places in 387 ms
[2021-05-13 18:51:12] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 468 ms
[2021-05-13 18:51:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 193 ms.
[2021-05-13 18:51:31] [INFO ] Added : 295 causal constraints over 59 iterations in 18318 ms. Result :(error "Failed to check-sat")
[2021-05-13 18:51:31] [INFO ] [Real]Absence check using 7 positive place invariants in 7 ms returned sat
[2021-05-13 18:51:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:51:31] [INFO ] [Real]Absence check using state equation in 171 ms returned sat
[2021-05-13 18:51:31] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:51:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 140 ms.
[2021-05-13 18:51:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:51:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:51:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:51:31] [INFO ] [Nat]Absence check using state equation in 174 ms returned sat
[2021-05-13 18:51:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 49 ms returned sat
[2021-05-13 18:51:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 191 ms.
[2021-05-13 18:51:51] [INFO ] Added : 290 causal constraints over 58 iterations in 19681 ms. Result :unknown
[2021-05-13 18:51:51] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:51:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:51:51] [INFO ] [Real]Absence check using state equation in 157 ms returned sat
[2021-05-13 18:51:51] [INFO ] [Real]Added 42 Read/Feed constraints in 24 ms returned sat
[2021-05-13 18:51:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 119 ms.
[2021-05-13 18:51:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:51:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:51:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:51:52] [INFO ] [Nat]Absence check using state equation in 205 ms returned sat
[2021-05-13 18:51:53] [INFO ] [Nat]Added 42 Read/Feed constraints in 788 ms returned sat
[2021-05-13 18:51:53] [INFO ] Deduced a trap composed of 5 places in 302 ms
[2021-05-13 18:51:53] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 362 ms
[2021-05-13 18:51:53] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 141 ms.
[2021-05-13 18:52:12] [INFO ] Added : 275 causal constraints over 55 iterations in 18612 ms. Result :unknown
[2021-05-13 18:52:12] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:52:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:52:12] [INFO ] [Real]Absence check using state equation in 176 ms returned sat
[2021-05-13 18:52:12] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 18:52:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 134 ms.
[2021-05-13 18:52:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:52:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:52:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:52:12] [INFO ] [Nat]Absence check using state equation in 215 ms returned sat
[2021-05-13 18:52:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 697 ms returned sat
[2021-05-13 18:52:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 233 ms.
[2021-05-13 18:52:28] [INFO ] Added : 250 causal constraints over 50 iterations in 14974 ms. Result :sat
[2021-05-13 18:52:28] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 18:52:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:52:29] [INFO ] [Real]Absence check using state equation in 199 ms returned sat
[2021-05-13 18:52:29] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:52:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 122 ms.
[2021-05-13 18:52:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:52:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 58 ms returned sat
[2021-05-13 18:52:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:52:31] [INFO ] [Nat]Absence check using state equation in 1743 ms returned sat
[2021-05-13 18:52:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 88 ms returned sat
[2021-05-13 18:52:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 225 ms.
[2021-05-13 18:52:49] [INFO ] Added : 285 causal constraints over 57 iterations in 18053 ms. Result :unknown
[2021-05-13 18:52:49] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:52:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:52:49] [INFO ] [Real]Absence check using state equation in 219 ms returned sat
[2021-05-13 18:52:49] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:52:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 85 ms.
[2021-05-13 18:52:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:52:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 53 ms returned sat
[2021-05-13 18:52:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:52:50] [INFO ] [Nat]Absence check using state equation in 771 ms returned sat
[2021-05-13 18:52:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 833 ms returned sat
[2021-05-13 18:52:51] [INFO ] Deduced a trap composed of 5 places in 393 ms
[2021-05-13 18:52:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 486 ms
[2021-05-13 18:52:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 230 ms.
[2021-05-13 18:53:09] [INFO ] Added : 245 causal constraints over 49 iterations in 17846 ms. Result :unknown
[2021-05-13 18:53:09] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:53:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:53:10] [INFO ] [Real]Absence check using state equation in 289 ms returned sat
[2021-05-13 18:53:10] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2021-05-13 18:53:10] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 131 ms.
[2021-05-13 18:53:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:53:10] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:53:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:53:10] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 18:53:10] [INFO ] [Nat]Added 42 Read/Feed constraints in 67 ms returned sat
[2021-05-13 18:53:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 173 ms.
[2021-05-13 18:53:30] [INFO ] Added : 315 causal constraints over 63 iterations in 19689 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:53:30] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:53:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:53:30] [INFO ] [Real]Absence check using state equation in 193 ms returned sat
[2021-05-13 18:53:30] [INFO ] [Real]Added 42 Read/Feed constraints in 33 ms returned sat
[2021-05-13 18:53:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 18:53:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:53:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 28 ms returned sat
[2021-05-13 18:53:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:53:31] [INFO ] [Nat]Absence check using state equation in 752 ms returned sat
[2021-05-13 18:53:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 65 ms returned sat
[2021-05-13 18:53:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 216 ms.
[2021-05-13 18:53:51] [INFO ] Added : 280 causal constraints over 56 iterations in 19089 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:53:51] [INFO ] [Real]Absence check using 7 positive place invariants in 10 ms returned sat
[2021-05-13 18:53:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:53:51] [INFO ] [Real]Absence check using state equation in 397 ms returned sat
[2021-05-13 18:53:51] [INFO ] [Real]Added 42 Read/Feed constraints in 57 ms returned sat
[2021-05-13 18:53:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 133 ms.
[2021-05-13 18:53:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:53:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 63 ms returned sat
[2021-05-13 18:53:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:53:53] [INFO ] [Nat]Absence check using state equation in 1274 ms returned sat
[2021-05-13 18:53:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 747 ms returned sat
[2021-05-13 18:53:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 260 ms.
[2021-05-13 18:54:11] [INFO ] Added : 290 causal constraints over 58 iterations in 17816 ms. Result :(error "Solver has unexpectedly terminated")
[2021-05-13 18:54:12] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:54:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:54:12] [INFO ] [Real]Absence check using state equation in 276 ms returned sat
[2021-05-13 18:54:12] [INFO ] [Real]Added 42 Read/Feed constraints in 43 ms returned sat
[2021-05-13 18:54:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 103 ms.
[2021-05-13 18:54:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:54:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 52 ms returned sat
[2021-05-13 18:54:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:54:13] [INFO ] [Nat]Absence check using state equation in 1129 ms returned sat
[2021-05-13 18:54:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 64 ms returned sat
[2021-05-13 18:54:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 183 ms.
[2021-05-13 18:54:28] [INFO ] Added : 260 causal constraints over 52 iterations in 14967 ms. Result :sat
[2021-05-13 18:54:29] [INFO ] [Real]Absence check using 7 positive place invariants in 25 ms returned sat
[2021-05-13 18:54:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:54:29] [INFO ] [Real]Absence check using state equation in 388 ms returned sat
[2021-05-13 18:54:29] [INFO ] [Real]Added 42 Read/Feed constraints in 54 ms returned sat
[2021-05-13 18:54:29] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 108 ms.
[2021-05-13 18:54:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:54:29] [INFO ] [Nat]Absence check using 7 positive place invariants in 46 ms returned sat
[2021-05-13 18:54:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:54:30] [INFO ] [Nat]Absence check using state equation in 258 ms returned sat
[2021-05-13 18:54:31] [INFO ] [Nat]Added 42 Read/Feed constraints in 1036 ms returned sat
[2021-05-13 18:54:31] [INFO ] Deduced a trap composed of 5 places in 347 ms
[2021-05-13 18:54:31] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 488 ms
[2021-05-13 18:54:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 222 ms.
[2021-05-13 18:54:49] [INFO ] Added : 290 causal constraints over 58 iterations in 18131 ms. Result :(error "Failed to check-sat")
[2021-05-13 18:54:49] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:54:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:54:50] [INFO ] [Real]Absence check using state equation in 229 ms returned sat
[2021-05-13 18:54:50] [INFO ] [Real]Added 42 Read/Feed constraints in 36 ms returned sat
[2021-05-13 18:54:50] [INFO ] Deduced a trap composed of 24 places in 521 ms
[2021-05-13 18:54:50] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 534 ms
[2021-05-13 18:54:50] [INFO ] [Real]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:54:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:54:50] [INFO ] [Real]Absence check using state equation in 212 ms returned sat
[2021-05-13 18:54:51] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:54:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 102 ms.
[2021-05-13 18:54:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:54:51] [INFO ] [Nat]Absence check using 7 positive place invariants in 18 ms returned sat
[2021-05-13 18:54:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:54:51] [INFO ] [Nat]Absence check using state equation in 232 ms returned sat
[2021-05-13 18:54:52] [INFO ] [Nat]Added 42 Read/Feed constraints in 802 ms returned sat
[2021-05-13 18:54:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 144 ms.
[2021-05-13 18:55:10] [INFO ] Added : 275 causal constraints over 55 iterations in 18285 ms. Result :sat
[2021-05-13 18:55:10] [INFO ] [Real]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:55:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:55:11] [INFO ] [Real]Absence check using state equation in 209 ms returned sat
[2021-05-13 18:55:11] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:55:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 96 ms.
[2021-05-13 18:55:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:55:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 13 ms returned sat
[2021-05-13 18:55:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:55:11] [INFO ] [Nat]Absence check using state equation in 292 ms returned sat
[2021-05-13 18:55:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 645 ms returned sat
[2021-05-13 18:55:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 169 ms.
[2021-05-13 18:55:31] [INFO ] Added : 300 causal constraints over 60 iterations in 18964 ms. Result :unknown
[2021-05-13 18:55:31] [INFO ] [Real]Absence check using 7 positive place invariants in 9 ms returned sat
[2021-05-13 18:55:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:55:31] [INFO ] [Real]Absence check using state equation in 421 ms returned sat
[2021-05-13 18:55:31] [INFO ] [Real]Added 42 Read/Feed constraints in 31 ms returned sat
[2021-05-13 18:55:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 113 ms.
[2021-05-13 18:55:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:55:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:55:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:55:32] [INFO ] [Nat]Absence check using state equation in 198 ms returned sat
[2021-05-13 18:55:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 87 ms returned sat
[2021-05-13 18:55:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 193 ms.
[2021-05-13 18:55:49] [INFO ] Added : 270 causal constraints over 54 iterations in 17240 ms. Result :sat
[2021-05-13 18:55:50] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:55:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:55:50] [INFO ] [Real]Absence check using state equation in 208 ms returned sat
[2021-05-13 18:55:50] [INFO ] [Real]Added 42 Read/Feed constraints in 45 ms returned sat
[2021-05-13 18:55:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 18:55:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:55:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:55:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:55:50] [INFO ] [Nat]Absence check using state equation in 208 ms returned sat
[2021-05-13 18:55:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 1052 ms returned sat
[2021-05-13 18:55:52] [INFO ] Deduced a trap composed of 5 places in 455 ms
[2021-05-13 18:55:52] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 536 ms
[2021-05-13 18:55:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 217 ms.
[2021-05-13 18:56:10] [INFO ] Added : 255 causal constraints over 51 iterations in 18176 ms. Result :unknown
[2021-05-13 18:56:10] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:56:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:56:10] [INFO ] [Real]Absence check using state equation in 247 ms returned sat
[2021-05-13 18:56:10] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 18:56:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 103 ms.
[2021-05-13 18:56:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:56:11] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:56:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:56:11] [INFO ] [Nat]Absence check using state equation in 195 ms returned sat
[2021-05-13 18:56:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 895 ms returned sat
[2021-05-13 18:56:12] [INFO ] Deduced a trap composed of 5 places in 334 ms
[2021-05-13 18:56:12] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 435 ms
[2021-05-13 18:56:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 186 ms.
[2021-05-13 18:56:31] [INFO ] Added : 230 causal constraints over 46 iterations in 18471 ms. Result :unknown
[2021-05-13 18:56:31] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:56:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:56:31] [INFO ] [Real]Absence check using state equation in 271 ms returned sat
[2021-05-13 18:56:31] [INFO ] [Real]Added 42 Read/Feed constraints in 40 ms returned sat
[2021-05-13 18:56:31] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 136 ms.
[2021-05-13 18:56:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:56:31] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:56:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:56:32] [INFO ] [Nat]Absence check using state equation in 206 ms returned sat
[2021-05-13 18:56:33] [INFO ] [Nat]Added 42 Read/Feed constraints in 887 ms returned sat
[2021-05-13 18:56:34] [INFO ] Deduced a trap composed of 5 places in 1581 ms
[2021-05-13 18:56:34] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1668 ms
[2021-05-13 18:56:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 213 ms.
[2021-05-13 18:56:51] [INFO ] Added : 275 causal constraints over 55 iterations in 17220 ms. Result :unknown
[2021-05-13 18:56:51] [INFO ] [Real]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:56:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:56:52] [INFO ] [Real]Absence check using state equation in 392 ms returned sat
[2021-05-13 18:56:52] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 18:56:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 125 ms.
[2021-05-13 18:56:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:56:52] [INFO ] [Nat]Absence check using 7 positive place invariants in 35 ms returned sat
[2021-05-13 18:56:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:56:54] [INFO ] [Nat]Absence check using state equation in 1673 ms returned sat
[2021-05-13 18:56:55] [INFO ] [Nat]Added 42 Read/Feed constraints in 687 ms returned sat
[2021-05-13 18:56:58] [INFO ] Deduced a trap composed of 5 places in 3249 ms
[2021-05-13 18:56:58] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 3334 ms
[2021-05-13 18:56:58] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 204 ms.
[2021-05-13 18:57:12] [INFO ] Added : 250 causal constraints over 50 iterations in 14248 ms. Result :unknown
[2021-05-13 18:57:12] [INFO ] [Real]Absence check using 7 positive place invariants in 50 ms returned sat
[2021-05-13 18:57:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:57:12] [INFO ] [Real]Absence check using state equation in 240 ms returned sat
[2021-05-13 18:57:13] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 18:57:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 127 ms.
[2021-05-13 18:57:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:57:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 14 ms returned sat
[2021-05-13 18:57:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:57:13] [INFO ] [Nat]Absence check using state equation in 411 ms returned sat
[2021-05-13 18:57:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 84 ms returned sat
[2021-05-13 18:57:14] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 196 ms.
[2021-05-13 18:57:33] [INFO ] Added : 305 causal constraints over 61 iterations in 19441 ms. Result :unknown
[2021-05-13 18:57:33] [INFO ] [Real]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:57:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:57:33] [INFO ] [Real]Absence check using state equation in 198 ms returned sat
[2021-05-13 18:57:33] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 18:57:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 135 ms.
[2021-05-13 18:57:34] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:57:34] [INFO ] [Nat]Absence check using 7 positive place invariants in 22 ms returned sat
[2021-05-13 18:57:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:57:34] [INFO ] [Nat]Absence check using state equation in 452 ms returned sat
[2021-05-13 18:57:34] [INFO ] [Nat]Added 42 Read/Feed constraints in 80 ms returned sat
[2021-05-13 18:57:34] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 260 ms.
[2021-05-13 18:57:50] [INFO ] Added : 265 causal constraints over 53 iterations in 15483 ms. Result :sat
[2021-05-13 18:57:50] [INFO ] [Real]Absence check using 7 positive place invariants in 45 ms returned sat
[2021-05-13 18:57:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:57:50] [INFO ] [Real]Absence check using state equation in 253 ms returned sat
[2021-05-13 18:57:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:57:50] [INFO ] [Nat]Absence check using 7 positive place invariants in 49 ms returned sat
[2021-05-13 18:57:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:57:51] [INFO ] [Nat]Absence check using state equation in 891 ms returned sat
[2021-05-13 18:57:51] [INFO ] [Nat]Added 42 Read/Feed constraints in 59 ms returned sat
[2021-05-13 18:57:51] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 117 ms.
[2021-05-13 18:58:10] [INFO ] Added : 255 causal constraints over 51 iterations in 18914 ms. Result :unknown
[2021-05-13 18:58:10] [INFO ] [Real]Absence check using 7 positive place invariants in 52 ms returned sat
[2021-05-13 18:58:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:58:11] [INFO ] [Real]Absence check using state equation in 895 ms returned sat
[2021-05-13 18:58:11] [INFO ] [Real]Added 42 Read/Feed constraints in 55 ms returned sat
[2021-05-13 18:58:11] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 112 ms.
[2021-05-13 18:58:12] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:58:12] [INFO ] [Nat]Absence check using 7 positive place invariants in 15 ms returned sat
[2021-05-13 18:58:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:58:12] [INFO ] [Nat]Absence check using state equation in 349 ms returned sat
[2021-05-13 18:58:12] [INFO ] [Nat]Added 42 Read/Feed constraints in 71 ms returned sat
[2021-05-13 18:58:12] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 18:58:32] [INFO ] Added : 310 causal constraints over 62 iterations in 19486 ms. Result :unknown
[2021-05-13 18:58:32] [INFO ] [Real]Absence check using 7 positive place invariants in 5 ms returned sat
[2021-05-13 18:58:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:58:32] [INFO ] [Real]Absence check using state equation in 252 ms returned sat
[2021-05-13 18:58:32] [INFO ] [Real]Added 42 Read/Feed constraints in 42 ms returned sat
[2021-05-13 18:58:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 104 ms.
[2021-05-13 18:58:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:58:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 29 ms returned sat
[2021-05-13 18:58:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:58:33] [INFO ] [Nat]Absence check using state equation in 893 ms returned sat
[2021-05-13 18:58:34] [INFO ] [Nat]Added 42 Read/Feed constraints in 1323 ms returned sat
[2021-05-13 18:58:35] [INFO ] Deduced a trap composed of 5 places in 281 ms
[2021-05-13 18:58:35] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 352 ms
[2021-05-13 18:58:35] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 103 ms.
[2021-05-13 18:58:52] [INFO ] Added : 285 causal constraints over 57 iterations in 17385 ms. Result :(error "Failed to check-sat")
[2021-05-13 18:58:52] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:58:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:58:52] [INFO ] [Real]Absence check using state equation in 150 ms returned sat
[2021-05-13 18:58:52] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 18:58:52] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 132 ms.
[2021-05-13 18:58:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:58:53] [INFO ] [Nat]Absence check using 7 positive place invariants in 16 ms returned sat
[2021-05-13 18:58:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:58:53] [INFO ] [Nat]Absence check using state equation in 191 ms returned sat
[2021-05-13 18:58:54] [INFO ] [Nat]Added 42 Read/Feed constraints in 968 ms returned sat
[2021-05-13 18:58:54] [INFO ] Deduced a trap composed of 5 places in 282 ms
[2021-05-13 18:58:54] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 356 ms
[2021-05-13 18:58:54] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 119 ms.
[2021-05-13 18:59:13] [INFO ] Added : 240 causal constraints over 48 iterations in 18446 ms. Result :unknown
[2021-05-13 18:59:13] [INFO ] [Real]Absence check using 7 positive place invariants in 6 ms returned sat
[2021-05-13 18:59:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:59:13] [INFO ] [Real]Absence check using state equation in 151 ms returned sat
[2021-05-13 18:59:13] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 18:59:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 115 ms.
[2021-05-13 18:59:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:59:13] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:59:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:59:13] [INFO ] [Nat]Absence check using state equation in 153 ms returned sat
[2021-05-13 18:59:13] [INFO ] [Nat]Added 42 Read/Feed constraints in 50 ms returned sat
[2021-05-13 18:59:13] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 110 ms.
[2021-05-13 18:59:32] [INFO ] Added : 275 causal constraints over 55 iterations in 18283 ms. Result :sat
[2021-05-13 18:59:32] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:59:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:59:32] [INFO ] [Real]Absence check using state equation in 176 ms returned sat
[2021-05-13 18:59:32] [INFO ] [Real]Added 42 Read/Feed constraints in 27 ms returned sat
[2021-05-13 18:59:32] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 107 ms.
[2021-05-13 18:59:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:59:32] [INFO ] [Nat]Absence check using 7 positive place invariants in 11 ms returned sat
[2021-05-13 18:59:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:59:32] [INFO ] [Nat]Absence check using state equation in 168 ms returned sat
[2021-05-13 18:59:32] [INFO ] [Nat]Added 42 Read/Feed constraints in 49 ms returned sat
[2021-05-13 18:59:33] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 128 ms.
[2021-05-13 18:59:48] [INFO ] Added : 270 causal constraints over 54 iterations in 15584 ms. Result :sat
[2021-05-13 18:59:48] [INFO ] [Real]Absence check using 7 positive place invariants in 8 ms returned sat
[2021-05-13 18:59:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 18:59:49] [INFO ] [Real]Absence check using state equation in 483 ms returned sat
[2021-05-13 18:59:49] [INFO ] [Real]Added 42 Read/Feed constraints in 48 ms returned sat
[2021-05-13 18:59:49] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 123 ms.
[2021-05-13 18:59:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 18:59:49] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 18:59:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 18:59:49] [INFO ] [Nat]Absence check using state equation in 276 ms returned sat
[2021-05-13 18:59:49] [INFO ] [Nat]Added 42 Read/Feed constraints in 72 ms returned sat
[2021-05-13 18:59:50] [INFO ] Deduced a trap composed of 5 places in 920 ms
[2021-05-13 18:59:50] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 979 ms
[2021-05-13 18:59:50] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 143 ms.
[2021-05-13 19:00:07] [INFO ] Added : 245 causal constraints over 49 iterations in 17119 ms. Result :sat
[2021-05-13 19:00:07] [INFO ] [Real]Absence check using 7 positive place invariants in 12 ms returned sat
[2021-05-13 19:00:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:00:08] [INFO ] [Real]Absence check using state equation in 360 ms returned sat
[2021-05-13 19:00:08] [INFO ] [Real]Added 42 Read/Feed constraints in 25 ms returned sat
[2021-05-13 19:00:08] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 134 ms.
[2021-05-13 19:00:08] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:00:08] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:00:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:00:08] [INFO ] [Nat]Absence check using state equation in 210 ms returned sat
[2021-05-13 19:00:09] [INFO ] [Nat]Added 42 Read/Feed constraints in 71 ms returned sat
[2021-05-13 19:00:09] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 145 ms.
[2021-05-13 19:00:22] [INFO ] Added : 250 causal constraints over 50 iterations in 12924 ms. Result :sat
[2021-05-13 19:00:22] [INFO ] [Real]Absence check using 7 positive place invariants in 37 ms returned sat
[2021-05-13 19:00:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 19:00:22] [INFO ] [Real]Absence check using state equation in 226 ms returned sat
[2021-05-13 19:00:22] [INFO ] [Real]Added 42 Read/Feed constraints in 32 ms returned sat
[2021-05-13 19:00:22] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 137 ms.
[2021-05-13 19:00:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 19:00:22] [INFO ] [Nat]Absence check using 7 positive place invariants in 17 ms returned sat
[2021-05-13 19:00:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 19:00:22] [INFO ] [Nat]Absence check using state equation in 202 ms returned sat
[2021-05-13 19:00:23] [INFO ] [Nat]Added 42 Read/Feed constraints in 186 ms returned sat
[2021-05-13 19:00:23] [INFO ] Computed and/alt/rep : 3725/99059/407 causal constraints in 131 ms.
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427456 kB
MemFree: 14940828 kB
After kill :
MemTotal: 16427456 kB
MemFree: 16139504 kB

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V80P50N20"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is BridgeAndVehicles-COL-V80P50N20, 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 r037-tajo-162038176800074"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P50N20.tgz
mv BridgeAndVehicles-COL-V80P50N20 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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;