Standard output
101618 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101618 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101618 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101618 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101618 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101618 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101633 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101633 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101633 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101633 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101633 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101633 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101633 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101633 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
101680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 828.7ns
101680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
102071 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102071 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102071 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102071 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103166 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
107028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s
107091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
107169 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 52.3ns
107231 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
107279 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
107279 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''