Standard output
129827 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
129827 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129827 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129843 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
129874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
129874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.14ms
129889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
130265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
130265 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
131484 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
135956 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.08s
136034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
136159 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.2ns
136237 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
136284 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
136300 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''