Standard output
101553 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101553 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101553 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101553 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101553 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101553 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101553 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101569 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
101624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.2ms
101624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
102109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
102109 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103484 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
107354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.72s
107416 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
107479 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.5ns
107552 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
107599 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
107618 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''