Standard output
98033 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98033 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98033 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98033 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98033 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98033 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98033 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98051 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
98051 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98052 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98052 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98053 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
98054 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98055 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
98078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
98093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 866.9ns
98093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
98453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
98453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
99656 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
103461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
103523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
103596 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 40.8ns
103722 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
103769 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
103800 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''