Standard output
82257 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
82257 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82257 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82273 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
82335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.88ms
82335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
82664 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82664 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82664 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82664 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83570 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
86745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s
86791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
86854 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 41.5ns
86901 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
86932 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
86948 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''