Standard output
81523 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule and_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule or_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81539 DEBUG Test worker d.u.i.k.p.m.ProofCorrectnessMgt No justification found for rule all_right
81570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\localSymbols\doubleSkolem.key
81586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.3ns
81586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
81877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
81877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta
82983 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression
86423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s
86470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof doubleSkolem.key
86519 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 39.7ns
86589 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule orRight'
86620 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule allRight formula='\forall int i; i > 0''
86636 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rule allRight formula='\forall int i; i < 0''