Standard output
101101 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101101 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101101 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101101 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101101 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101117 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
101171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.26ms
101171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
101656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102968 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
106849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.67s
106907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
106985 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43ns
107063 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
107470 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
107485 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''