Standard output
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
82349 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
82364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82364 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
82427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
82427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 735.6ns
82427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
82693 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82693 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82693 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82693 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
83537 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
86615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s
86662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
86725 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 35.6ns
86771 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
86803 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
86850 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''