Standard output
108483 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
108483 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
108483 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
108483 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
108483 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
108483 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
108498 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
108498 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
108498 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
108498 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
108498 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
108498 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
108498 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
108498 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
108545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
108545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 729.2ns
108561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
108904 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
108904 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
108920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
108920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
110203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
114438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.88s
114501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
114579 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.9ns
114642 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
114689 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
114689 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''