Standard output
86430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86430 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86446 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
86446 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86446 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86446 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86446 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
86446 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86446 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
86461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
86508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.47ms
86508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
86837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
86837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
88024 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
91115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.6s
91177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
91231 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.3ns
91293 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
91778 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
91840 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''