Standard output
175652 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
175667 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
175667 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
175667 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
175667 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
175667 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
175667 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
175683 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
175683 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
175683 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
175683 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
175683 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
175699 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
175699 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
175714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
175730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 738.8ns
175730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
176292 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
176292 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
176292 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
176292 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
178340 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
184374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.6s
184452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
184593 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48.8ns
184686 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
184733 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
184780 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''