Standard output
82066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
82066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82066 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82082 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
82082 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82082 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82082 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82082 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82082 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82082 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
82138 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.59ms
82138 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
82466 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82466 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82466 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82466 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83654 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
86751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s
86814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
86886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 43.5ns
86964 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
86996 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
86996 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''