Standard output
84786 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
84787 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
84791 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
84793 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
84793 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
84793 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
84794 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
84799 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
84800 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
84801 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
84801 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
84801 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
84803 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
84804 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
84819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
84822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 942.21ns
84823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
85066 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
85067 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
85068 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
85068 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
85922 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
89254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s
89290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
89327 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.8ns
89357 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
89376 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
89379 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''