./pea_to_boogie.sh /storage/repos/re2019-exp/Evehicle_extended.old.req /storage/repos/re2019-exp/Evehicle_extended.old.req.xml -------------------------------------------------------------------------------- srParse: not declared ID: V0 srParse: not declared ID: V1 srParse: not declared ID: !V0 ∧ !V1 srParse: not declared ID: V0 srParse: not declared ID: !V1 srParse: not declared ID: V1 srParse: not declared ID: !V0 srParse: not declared ID: V2 srParse: not declared ID: V3 srParse: not declared ID: !V2 ∧ !V3 srParse: not declared ID: V2 srParse: not declared ID: !V3 srParse: not declared ID: V3 srParse: not declared ID: !V2 srParse: not declared ID: V4 srParse: not declared ID: V5 srParse: not declared ID: !V4 ∧ !V5 srParse: not declared ID: V4 srParse: not declared ID: !V5 srParse: not declared ID: V5 srParse: not declared ID: !V4 srParse: not declared ID: !V6 ∧ !V7 srParse: not declared ID: V6 ∨ V7 srParse: not declared ID: V7 srParse: not declared ID: !V6 srParse: not declared ID: V6 srParse: not declared ID: !V7 srParse: not declared ID: V10 ∨ V11 ∨ V8 ∨ V9 srParse: not declared ID: V8 ∧ V9 srParse: not declared ID: V10 ∧ V9 srParse: not declared ID: V10 ∧ V11 srParse: not declared ID: V10 ∧ V8 srParse: not declared ID: V11 ∧ V8 srParse: not declared ID: V11 ∧ V9 srParse: not declared ID: !V13 srParse: not declared ID: !V12 srParse: not declared ID: V13 srParse: not declared ID: V12 srParse: not declared ID: V14 srParse: not declared ID: V15 ∧ V16 srParse: not declared ID: V16 ∧ V17 srParse: not declared ID: V15 ∧ V17 srParse: not declared ID: V18 ∨ V19 ∨ V20 srParse: not declared ID: V18 ∧ V19 srParse: not declared ID: V18 ∧ V20 srParse: not declared ID: V19 ∧ V20 srParse: not declared ID: V21 ∨ V22 srParse: not declared ID: V21 ∧ V22 srParse: not declared ID: V23 ∨ V24 ∨ V25 srParse: not declared ID: V23 ∧ V24 srParse: not declared ID: V23 ∧ V25 srParse: not declared ID: V24 ∧ V25 srParse: not declared ID: V26 srParse: not declared ID: V24 srParse: not declared ID: V26 srParse: not declared ID: V25 srParse: not declared ID: V23 srParse: not declared ID: !V26 srParse: not declared ID: V18 srParse: not declared ID: V23 srParse: not declared ID: V20 srParse: not declared ID: V25 srParse: not declared ID: V19 srParse: not declared ID: V24 srParse: not declared ID: V28 srParse: not declared ID: V27 srParse: not declared ID: V29 srParse: not declared ID: !V27 srParse: not declared ID: V30 srParse: not declared ID: V26 ∧ !V6 srParse: not declared ID: V31 ∨ V32 ∨ V33 srParse: not declared ID: V31 ∧ V32 srParse: not declared ID: V31 ∧ V33 srParse: not declared ID: V32 ∧ V33 srParse: not declared ID: V31 srParse: not declared ID: V34 ∨ V35 ∨ V36 srParse: not declared ID: V31 srParse: not declared ID: V37 srParse: not declared ID: V34 ∧ V37 srParse: not declared ID: V31 srParse: not declared ID: V38 ∨ V39 srParse: not declared ID: V32 srParse: not declared ID: V40 ∨ V41 srParse: not declared ID: V33 srParse: not declared ID: V42 ∨ V43 srParse: not declared ID: V38 ∨ V40 ∨ V42 srParse: not declared ID: V38 ∧ V40 srParse: not declared ID: V38 ∧ V42 srParse: not declared ID: V40 ∧ V42 srParse: not declared ID: V33 srParse: not declared ID: V44 ∨ V45 ∨ V46 srParse: not declared ID: V33 srParse: not declared ID: V47 srParse: not declared ID: V48 srParse: not declared ID: V49 srParse: not declared ID: !V6 srParse: not declared ID: !V12 ∧ !V26 ∧ !V6 srParse: not declared ID: V50 ∧ V51 srParse: not declared ID: V12 ∧ !V6 srParse: not declared ID: !V51 srParse: not declared ID: V26 srParse: not declared ID: !V51 srParse: not declared ID: V44 ∨ !V38 ∨ !V1 srParse: not declared ID: V52 srParse: not declared ID: V44 srParse: not declared ID: V52 srParse: not declared ID: !V44 srParse: not declared ID: V27 srParse: not declared ID: V53 srParse: not declared ID: !V53 srParse: not declared ID: V54 srParse: not declared ID: V53 srParse: not declared ID: V53 srParse: not declared ID: !V53 srParse: not declared ID: V23 ∧ !V52 ∧ V55 srParse: not declared ID: !V52 srParse: not declared ID: V23 ∧ V53 srParse: not declared ID: !V53 srParse: not declared ID: V56 srParse: not declared ID: V12 ∧ !V6 srParse: not declared ID: V57 srParse: not declared ID: !V12 ∧ !V6 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 96ms Computed 269 disjunctive normalforms Added: 10 further transitions to initial states Deleted: 21 selfloops without clock reset The Timed Automaton has 21 phases The Timed Automaton has 241 transitions The PEA has 252 transitions ***************************** ================================================== Translation to Uppaal xml in Evehicle_extended.old.req.xml is done! ================================================== Options for the verification: Generating no trace Search order is breadth first Using conservative space optimisation Seed is 1554385399 State space representation uses minimal constraint systems  Verifying formula 1 at /storage/repos/re2019-exp/non-deadlock.q:1  -- Formula is satisfied.