Standard output
102134 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
102135 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
102137 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102138 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102138 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
102139 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102140 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102146 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
102146 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
102147 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102147 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102148 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
102148 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102149 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
102169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 494.1ns
102170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
102455 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102456 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102457 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102458 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103618 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
107537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s
107594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
107638 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.3ns
107727 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
107745 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
107748 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''