Standard output
101235 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101236 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101238 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101239 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101239 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101240 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101240 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101244 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
101244 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101245 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101246 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101246 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
101246 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101247 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
101263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/localSymbols/doubleSkolem.key
101279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.1ns
101280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
101697 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101697 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101699 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
101700 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
103350 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
107388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.11s
107438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
107482 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 45.4ns
107544 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
107595 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
107601 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''