Standard output
170164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
170164 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
170180 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
170180 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
170180 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
170180 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
170180 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
170195 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
170195 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
170195 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
170195 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
170195 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
170195 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
170195 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
170743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
170758 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 848.1ns
170758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
171332 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
171332 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
171376 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
171379 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
173767 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
181206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 10.04s
181300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
181472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.2ns
181581 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
181628 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
182158 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''