Standard output
109490 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
109506 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
109506 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
109506 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
109506 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
109506 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
109506 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
109521 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
109521 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
109521 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
109521 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
109521 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
109521 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
109521 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
109568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
109568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.21ms
109568 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
110271 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
110271 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
110287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
110287 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
111412 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
115400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.83s
115462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
115540 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.1ns
115603 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
115634 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
115665 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''