./pea_to_boogie.sh /storage/repos/re2019-exp/hybrid1.old.req /storage/repos/re2019-exp/hybrid1.old.req.xml


--------------------------------------------------------------------------------


srParse: not declared ID: V1
srParse: not declared ID: V0
srParse: not declared ID: !V1
srParse: not declared ID: V0
srParse: not declared ID: !V0
srParse: not declared ID: V2 ∧ V3 ∧ V4
srParse: not declared ID: !V0
srParse: not declared ID: V2 ∧ V5 ∧ V6
srParse: not declared ID: V8
srParse: not declared ID: V7 ∧ !V8
srParse: not declared ID: !V8
srParse: not declared ID: V7 ∧ !V8
srParse: not declared ID: V9
srParse: not declared ID: V8
srParse: not declared ID: V11
srParse: not declared ID: V10
srParse: not declared ID: V1
srParse: not declared ID: V11
srParse: not declared ID: !V1
srParse: not declared ID: V11
log4j:ERROR Could not read configuration file from URL [null].
java.lang.NullPointerException
	at org.apache.log4j.PropertyConfigurator.doConfigure(PropertyConfigurator.java:459)
	at org.apache.log4j.PropertyConfigurator.configure(PropertyConfigurator.java:354)
	at pea.Trace2PEACompiler.<init>(Trace2PEACompiler.java:101)
	at pea.Trace2PEACompiler.<init>(Trace2PEACompiler.java:115)
	at pea.reqCheck.PatternToPEA.<init>(PatternToPEA.java:21)
	at req_to_pea.ReqToPEA.genPEA(ReqToPEA.java:60)
	at pea_to_boogie.main.Main.main(Main.java:47)
log4j:ERROR Ignoring configuration file [null].
log4j:ERROR Could not read configuration file from URL [null].
java.lang.NullPointerException
	at org.apache.log4j.PropertyConfigurator.doConfigure(PropertyConfigurator.java:459)
	at org.apache.log4j.PropertyConfigurator.configure(PropertyConfigurator.java:354)
	at pea.Trace2PEACompiler.<init>(Trace2PEACompiler.java:101)
	at pea.Trace2PEACompiler.<init>(Trace2PEACompiler.java:115)
	at pea.reqCheck.PatternToPEA.<init>(PatternToPEA.java:21)
	at req_to_pea.ReqToPEA.genPEAforUPPAAL(ReqToPEA.java:97)
	at pea_to_boogie.main.Main.main(Main.java:48)
log4j:ERROR Ignoring configuration file [null].
*****************************
Writing Uppaal representation took 10460ms
Computed 423356 disjunctive normalforms
Added: 45 further transitions to initial states
Deleted: 2520 selfloops without clock reset
The Timed Automaton has 2520 phases
The Timed Automaton has 418365 transitions
The PEA has 420840 transitions
*****************************
==================================================
Translation to Uppaal xml in hybrid1.old.req.xml is done!
==================================================
Options for the verification:
  Generating no trace
  Search order is breadth first
  Using conservative space optimisation
  Seed is 1554391627
  State space representation uses minimal constraint systems

Verifying formula 1 at /storage/repos/re2019-exp/non-deadlock.q:1
 -- Formula is NOT satisfied.