143290 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
143292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
143296 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
143297 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
143298 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
143300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
143300 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
143309 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
143310 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
143314 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
143314 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
143315 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
143315 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
143316 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
143338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
143346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.57ms
143348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
143909 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
143912 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
143921 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
143922 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
145939 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
151348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8s
151415 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
151505 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.2ns
151619 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
151649 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [2] goal: 1, source line: 3, command: 'rule allRight formula='\forall int i; i > 0''
151654 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [3] goal: 2, source line: 4, command: 'rule allRight formula='\forall int i; i < 0''