Standard output
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83678 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
83710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
83750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.9ns
83750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
84063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
84063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
84063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
84063 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
85158 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
88318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s
88364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
88411 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 37.1ns
88496 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
88871 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
88933 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''