Standard output
105767 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
105767 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105767 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105767 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105782 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
105865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.08ms
105865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
106302 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106302 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106302 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106302 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
108069 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
112253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.38s
112331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
112393 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.7ns
112567 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
112614 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
112632 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''