Standard output
105944 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
105944 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105944 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105944 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105944 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105944 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105944 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
105960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
105960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
105960 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
106013 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
106013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.87ms
106028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
106403 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106403 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106419 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
106419 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
107920 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
111991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.97s
112053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
112163 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 44.5ns
112241 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
112288 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
112314 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''