Standard output
105326 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
105326 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105326 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105326 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105326 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105326 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105326 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105341 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
105341 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105341 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105341 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105341 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105341 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105341 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
105404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.73ms
105420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
105795 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
105795 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
105795 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
105795 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106889 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
111094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s
111172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
111250 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.1ns
111312 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
111360 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
111375 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''