Standard output
110445 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
110445 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
110445 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
110445 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
110445 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
110445 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
110445 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
110460 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
110460 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
110460 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
110460 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
110460 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
110460 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
110460 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
110945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
110945 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 716.1ns
110960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
111429 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
111429 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
111445 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
111445 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
113211 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
117671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.62s
117749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
117999 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.6ns
118130 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
118177 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
118387 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''