Standard output
103727 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
103727 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
103727 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103727 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103727 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
103727 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103727 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103743 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
103743 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
103743 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103743 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103743 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
103743 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103743 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
103774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
103774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 724.6ns
103774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
104309 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
104309 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
104309 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
104309 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
105910 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
110125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.35s
110203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
110281 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.1ns
110344 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
110860 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
110876 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''