Standard output
146833 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
146849 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
146849 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146849 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146849 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
146849 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146849 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
146864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
146864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
146864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146864 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
146911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
146911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 937.4ns
146927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
147430 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
147430 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
147430 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
147493 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
149463 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
154568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.64s
154646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
154787 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.1ns
154927 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
154974 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
154997 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''