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


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


srParse: not declared ID: V1
srParse: not declared ID: V0
srParse: not declared ID: V0
srParse: not declared ID: V1
srParse: not declared ID: V6
srParse: not declared ID: !V1 ∧ !V2 ∧ !V3 ∧ !V4 ∧ !V5
srParse: not declared ID: V10
srParse: not declared ID: V9 ∨ !V8 ∨ !V7
srParse: not declared ID: V12
srParse: not declared ID: V10 ∨ !V11
srParse: not declared ID: V14
srParse: not declared ID: V1 ∧ V13
srParse: not declared ID: V6
srParse: not declared ID: V12
srParse: not declared ID: V6
srParse: not declared ID: !V0
srParse: not declared ID: !V0
srParse: not declared ID: V0 ∧ !V14
srParse: not declared ID: V6
srParse: not declared ID: V6
srParse: not declared ID: !V2 ∧ !V3
srParse: not declared ID: V6
srParse: not declared ID: V6
srParse: not declared ID: !V1
srParse: not declared ID: !V16
srParse: not declared ID: V15
srParse: not declared ID: !V16
srParse: not declared ID: V17
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 173ms
Computed 334 disjunctive normalforms
Added: 11 further transitions to initial states
Deleted: 28 selfloops without clock reset
The Timed Automaton has 28 phases
The Timed Automaton has 293 transitions
The PEA has 310 transitions
*****************************
==================================================
Translation to Uppaal xml in accreqs1_extended.old.req.xml is done!
==================================================
Options for the verification:
  Generating no trace
  Search order is breadth first
  Using conservative space optimisation
  Seed is 1554391604
  State space representation uses minimal constraint systems

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