Standard output
102741 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
102741 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
102741 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102741 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
102757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
102757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
102757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102757 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
102773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102773 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
102788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
102819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.38ms
102819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
103195 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103195 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103195 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103195 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
104321 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
108387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s
108449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
108528 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45ns
108590 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
108637 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
108684 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''