Standard output
104750 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
104750 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
104765 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
104781 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
104781 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
105109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms
105109 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
105656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
105656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
105656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
105656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106985 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
111426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.32s
111504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
111692 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 46.8ns
111817 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
111863 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
112396 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''