Standard output
91061 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
91062 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
91064 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91065 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
91066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91067 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91071 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
91072 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
91073 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91073 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91074 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
91075 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91075 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
91093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
91096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 811.1ns
91098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
91519 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91522 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
91522 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
93011 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
96492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s
96543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
96586 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.7ns
96625 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
96668 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
96671 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''