./pea_to_boogie.sh /storage/repos/re2019-exp/hybrid_comp7.old.req /storage/repos/re2019-exp/hybrid_comp7.old.req.xml -------------------------------------------------------------------------------- srParse: not declared ID: V0 ∨ V1 ∨ V2 ∨ V3 srParse: not declared ID: !V1 ∧ !V2 ∧ !V3 srParse: not declared ID: V0 srParse: not declared ID: !V0 ∧ !V2 ∧ !V3 srParse: not declared ID: V1 srParse: not declared ID: !V0 ∧ !V1 ∧ !V3 srParse: not declared ID: V2 srParse: not declared ID: !V0 ∧ !V1 ∧ !V2 srParse: not declared ID: V3 srParse: not declared ID: V4 ∨ V5 ∨ V6 ∨ V7 srParse: not declared ID: !V5 ∧ !V6 ∧ !V7 srParse: not declared ID: V4 srParse: not declared ID: !V4 ∧ !V5 ∧ !V6 srParse: not declared ID: V7 srParse: not declared ID: !V4 ∧ !V5 ∧ !V7 srParse: not declared ID: V6 srParse: not declared ID: !V4 ∧ !V6 ∧ !V7 srParse: not declared ID: V5 srParse: not declared ID: V11 srParse: not declared ID: V0 ∧ V10 ∧ V8 ∧ V9 srParse: not declared ID: V11 srParse: not declared ID: V1 ∧ V10 ∧ V12 ∧ V8 ∧ V9 srParse: not declared ID: V12 srParse: not declared ID: V13 srParse: not declared ID: V11 srParse: not declared ID: V1 ∧ !V10 ∧ V8 ∧ V9 srParse: not declared ID: !V11 srParse: not declared ID: !V8 srParse: not declared ID: V11 srParse: not declared ID: V14 ∧ V15 srParse: not declared ID: !V14 ∧ !V15 srParse: not declared ID: !V11 srParse: not declared ID: V16 srParse: not declared ID: V11 srParse: not declared ID: V17 srParse: not declared ID: V4 ∨ V7 srParse: not declared ID: V11 srParse: not declared ID: V18 srParse: not declared ID: V4 srParse: not declared ID: V11 srParse: not declared ID: V1 srParse: not declared ID: V7 srParse: not declared ID: V11 srParse: not declared ID: V19 srParse: not declared ID: V4 ∨ V7 srParse: not declared ID: V11 srParse: not declared ID: !V15 srParse: not declared ID: !V14 ∧ V20 ∧ V4 srParse: not declared ID: V11 srParse: not declared ID: !V15 srParse: not declared ID: !V14 ∧ V20 ∧ V7 srParse: not declared ID: V11 srParse: not declared ID: !V15 ∧ V22 srParse: not declared ID: V10 ∧ V21 ∧ V5 srParse: not declared ID: V11 srParse: not declared ID: !V15 ∧ V22 srParse: not declared ID: V10 ∧ V21 ∧ V6 srParse: not declared ID: V11 srParse: not declared ID: V23 srParse: not declared ID: V21 ∧ V5 srParse: not declared ID: V11 srParse: not declared ID: V23 srParse: not declared ID: V10 ∧ V5 srParse: not declared ID: V11 srParse: not declared ID: V23 srParse: not declared ID: V10 ∧ V6 srParse: not declared ID: V11 srParse: not declared ID: V23 srParse: not declared ID: V21 ∧ V6 srParse: not declared ID: V11 srParse: not declared ID: V22 ∨ V24 srParse: not declared ID: V11 ∧ !V21 ∧ V5 srParse: not declared ID: V11 srParse: not declared ID: V22 ∨ V24 srParse: not declared ID: !V10 ∧ V11 ∧ V5 srParse: not declared ID: V11 srParse: not declared ID: V22 ∨ V24 srParse: not declared ID: V11 ∧ !V21 ∧ V6 srParse: not declared ID: V11 srParse: not declared ID: V22 ∨ V24 srParse: not declared ID: !V10 ∧ V11 ∧ V6 srParse: not declared ID: V11 srParse: not declared ID: V22 srParse: not declared ID: V25 srParse: not declared ID: !V25 srParse: not declared ID: !V10 ∧ V24 ∧ V26 ∧ V5 srParse: not declared ID: V25 srParse: not declared ID: !V10 ∧ V20 ∧ V24 ∧ V5 srParse: not declared ID: V25 srParse: not declared ID: V25 srParse: not declared ID: !V10 ∧ V20 ∧ V24 ∧ V5 srParse: not declared ID: V25 srParse: not declared ID: !V10 ∧ V24 ∧ V26 ∧ V5 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.(Trace2PEACompiler.java:101) at pea.Trace2PEACompiler.(Trace2PEACompiler.java:115) at pea.reqCheck.PatternToPEA.(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.(Trace2PEACompiler.java:101) at pea.Trace2PEACompiler.(Trace2PEACompiler.java:115) at pea.reqCheck.PatternToPEA.(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 40ms Computed 50 disjunctive normalforms Added: 4 further transitions to initial states Deleted: 10 selfloops without clock reset The Timed Automaton has 10 phases The Timed Automaton has 46 transitions The PEA has 48 transitions ***************************** ================================================== Translation to Uppaal xml in hybrid_comp7.old.req.xml is done! ================================================== Options for the verification: Generating no trace Search order is breadth first Using conservative space optimisation Seed is 1554385397 State space representation uses minimal constraint systems  Verifying formula 1 at /storage/repos/re2019-exp/non-deadlock.q:1  -- Formula is satisfied.