Standard output
96688 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
96690 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96695 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96695 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96696 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96697 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96698 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96703 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
96704 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96704 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96705 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96706 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
96706 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96707 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
96722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
96726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 453.2ns
96727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
97044 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97045 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97046 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
97047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98029 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
101618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s
101673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
101727 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.9ns
101789 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
101838 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
101843 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''