Standard output
86924 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86924 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86956 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86956 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86971 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86971 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86971 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86971 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
87045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
87045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 733.9ns
87045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
87420 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87420 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87420 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87436 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
88421 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
91631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s
91694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
91756 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 53.8ns
91850 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
91897 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
91912 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''