Standard output
86282 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86283 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86285 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86286 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86287 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86291 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86291 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86292 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86293 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86293 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86293 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
86307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.9ns
86308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
86662 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86663 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86665 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86665 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
87819 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
91105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s
91157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
91196 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48.9ns
91281 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
91317 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
91323 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''