Standard output
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
132423 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
132439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
132439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
132439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
132439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
132439 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
134702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
134702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.4ns
134702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
135109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
135109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
135109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
135109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
136767 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
141492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.74s
141543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
141650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.3ns
141729 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
141776 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
141807 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''