Standard output
128135 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
128136 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
128136 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128136 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128136 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
128136 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128136 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128214 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
128214 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
128214 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128214 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128214 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
128214 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128214 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
128370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
128370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 569.7ns
128370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
128949 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
128949 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
128949 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
128949 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130668 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
135652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.28s
135824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
135933 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41ns
136089 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
136152 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
136168 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''