Standard output
81925 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81940 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
82003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.98ms
82003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
82315 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82315 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82315 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82315 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
86239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s
86286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
86349 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 42.5ns
86396 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
86427 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
86505 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''