Standard output
115343 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
115343 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115358 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
115389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
115389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 487.3ns
115389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
115749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
115749 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
115765 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
115765 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
117047 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
121673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.28s
121751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
121860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.5ns
121923 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
121970 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
122001 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''