118277 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
118277 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
118277 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
118277 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
118277 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
118277 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
118277 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
118292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
118292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
118292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
118292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
118292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
118292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
118292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
118339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
118339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 789.1ns
118355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
118714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
118714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
118714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
118714 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
120074 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
124607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.24s
124670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
124795 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 36.7ns
124873 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine [1] goal: 0, source line: 2, command: 'rule orRight'
124936 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''
124936 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''