./pea_to_boogie.sh /storage/repos/re2019-exp/hybrid1_extended.old.req /storage/repos/re2019-exp/hybrid1_extended.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: !V1
srParse: not declared ID: !V0
srParse: not declared ID: V2 ∧ V3 ∧ V4
srParse: not declared ID: V6
srParse: not declared ID: V5 ∧ !V6 ∧ !V7
srParse: not declared ID: !V6
srParse: not declared ID: V5 ∧ !V6 ∧ !V7
srParse: not declared ID: V6
srParse: not declared ID: V8
srParse: not declared ID: V6
srParse: not declared ID: V10
srParse: not declared ID: V9
srParse: not declared ID: V1
srParse: not declared ID: V10
srParse: not declared ID: V1
srParse: not declared ID: V10
srParse: not declared ID: !V1
srParse: not declared ID: V7
srParse: not declared ID: V5 ∧ !V6 ∧ !V7
srParse: not declared ID: V7
srParse: not declared ID: V7
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 33310ms
Computed 1608247 disjunctive normalforms
Added: 45 further transitions to initial states
Deleted: 6358 selfloops without clock reset
The Timed Automaton has 6358 phases
The Timed Automaton has 1595591 transitions
The PEA has 1601904 transitions
*****************************
==================================================
Translation to Uppaal xml in hybrid1_extended.old.req.xml is done!
==================================================