Standard output
98620 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98620 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98636 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98651 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
98667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 847ns
98667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
99042 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99042 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99042 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99042 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
100105 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
103868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
103946 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
104008 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.6ns
104087 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
104133 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
104169 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''